Relax the constaint that C must be a category (for now?)
New way of showing Maybe to be a monad