Hi again,
is there a way in some haskell extension to explicit (system F's) big
lambdas and (term Type) applications in order to help type inference?
If not: is there a way to provide ghc directly with core code before
the type checking phase?
Paul