Tagless Final or Finally Tagless

Preserving structure

"Monads are just Monoids in the category of Endofunctors What's the problem?"