Cleaned maybeT's fmap slightly.
Either transformer implemented.