hub.darcs.net :: ross -> transformers -> issue

Ryan Scott

There are several places in transformers where PolyKinds could be utilized:

• Backwards :: (k -> *) -> k -> *
• Catch :: * -> (k -> *) -> k -> *
• ContT :: k -> (k -> *) -> * -> *
• IdentityT :: (k -> *) -> k -> *
• ReaderT :: * -> (k -> *) -> k -> *

See http://hub.darcs.net/RyanGlScott/transformers