If you use the scope binding in a monad scoped blo...
# arrow
r
If you use the scope binding in a monad scoped block then you have to use fix to downcast