#61: ReaderT's kind is too general

concrete functor and monad transformers

#61ReaderT's kind is too general

> :kind ReaderT
ReaderT :: * -> (k -> *) -> k -> *

I would have expected

> :kind ReaderT
ReaderT :: * -> (* -> *) -> * -> *

Ryan Scott Mon Sep 24 18:44:12 UTC 2018
Ah, this is my bad. I think I added this in a catch-all effort to make things in transformers more poly-kinded. You're right that making ReaderT poly-kinded is probably silly, since almost all use cases for ReaderT will use (m :: * -> *) anyway.
gelisam Sat Sep 29 18:48:58 UTC 2018
Here is a fix.
Ross Paterson Wed Oct 31 00:41:20 UTC 2018
- status set to closed
applied, thanks