organizing function, applicative
monadic maybe, List
Traversable additions