Rewrite 'Maybe: ability to (not) have a type'