One of the new features of the latest snapshot of GHC is that : "The type system now supports arbitrary rank polymorphism, given appropriate type annotations." Could you point me to some literature on this feature and how it is used? I'm familiar with rank-2 polymorphic types. I am not however familiar with what an "appropriate type annotation" is. Sean Seefried