not just for that but generally any effect can be ...
# random
r
not just for that but generally any effect can be reified in Free and you flatten all monadic computations.