you can also achieve automatic stack safety in tag...

# arrow

[raulraja]

you can also achieve automatic stack safety in tagless if instead of running to say Option you run to Free<Option>