The you implement the corresponding typeclass with...

# functional

[elizarov]

The you implement the corresponding typeclass with inline functions (sic!) for everything that looks like a sequence. It requires that inliner is smart enough to produce the same byte-code after inline as it is now, though.