If you want to purify that interpreter your best b...

# arrow

[raulraja]

If you want to purify that interpreter your best bet is to keep it just parametric to F and run the Free computation to <http://arrow.effects.IO|arrow.effects.IO>