Some type signatures cannot be writte (frontend bug?)
In module FlatCurry.Annotated.Goodies it is impossible to write a correct type signature for trTypeExpr
(and other operations TVarIndex
is involved). This might be due to a bug in the frontend.