mono-traversable >=0.5