Make monadic stuff more idiomadic thus removing need for traversable and
foldable.