Unified List monad family.