because in that case for example it registers a ke...
# arrow
r
because in that case for example it registers a key for
Monad<Option.F>
for the value
OptionMonad