Added mapK to StateT
Made the type of mapK on StateT more general.
add Profunctor#invariantFunctor