Maybe: MaybeTypeRef