Aside from the point made about typeclass instances, I don't see an issue with:

type Maybe = Either ()

nothing :: Maybe a
nothing = Left ()

just :: a -> Maybe a
just = Right