functor composition
short names for nested fmaps