Added mapK to StateT