A bare-bones minimal (and probably slightly incorrect) implementation of Maybe, Either, IO, and Task