Issue822.agda:23,5-10 Type mismatch when checking that the pattern M₂.[ A ] has type _3