The Hazy Haskell Compiler

> I wonder, is the Levity attached to the arrow? Well, I did make this post: Levity should be on the arrow, not on the kind. So far I only implemented levity polymorphic fields and not levity polymorphic arrows, but it’s something I plan on doing eventually.