LetPair.agda:17,7-18 Expected record pattern when checking the let binding a , b = p