Add monad.rkt
Add maybe.rkt
Add either.rkt