Tidied up MaybeT documentation