concrete functor and monad transformers

#27Backport Num/Bits/IsString/etc. instances from base-4.9