`Free.monad()`?
# arrow
p
Free.monad()
?