Type function under a forall type

Stefan Holdermans stefan at vectorfabrics.com
Tue Jun 21 11:51:07 CEST 2011

Simon, Tom,

I hit this type-error message in GHC 7.0.3:

  Cannot deal with a type function under a forall type:
  forall e. El e u

Is there a fundamental reason why type functions under a forall type are a bad idea? Of is it just something that hasn't been implemented/thought about yet?



More information about the Glasgow-haskell-users mailing list