A universe of functors closed under μ, ν and monadic composition