increase upper bounds for mono-traversable