Made the type of mapK on StateT more general.