concrete functor and monad transformers
#97Applicative methods of RWST are not all inlined
For example, this specialized use of liftA2 does not get inlined:
assoc0RWS :: RWS r (Endo w) s a -> RWS r (Endo w) s b -> RWS r (Endo w) s (a,b)
assoc0RWS x y = liftA2 (,) x yCan we add an INLINE pragma to liftA2, (*>) and (<*)?
