Maybes
data MaybeErr err val
data MaybeT m a