but you can get the idea of what writing finally t...

# arrow

[pakoito]

but you can get the idea of what writing finally tagless looks like