this affects free monads
# arrow
r
this affects free monads