AgdalightTelescopeSyntax.agda:6,15-15
AgdalightTelescopeSyntax.agda:6,15:
Parse error ;<ERROR> z : B x) -> A -- this is Agda...