Sounds like you’re after a monad transformer (Opti...
# arrow
r
Sounds like you’re after a monad transformer (OptionT)