Remove foldable
Simplify monad typeclass; Generalize actions
Bring back Maybe.  Add Sets
Code golfing