Annotations.F.Annotated
data Ann x f a
type AnnFix xT fT
rootAnn
type AnnFix1 xT fT
mkAnnFix
unannotate
errorCata
explore
findLeftmostDeepest