No subject

Sun Oct 23 10:51:38 CEST 2011

the only difference is that I need the 'ANY' annotation when declaring
the type as such kinds are never automatically infered at the moment.
I may just support the 'exists k . k' syntax directly in kind
annotations actually eventually, I support it for types and it is
handy on occasion.


More information about the Glasgow-haskell-users mailing list