basically now, instead of recommending `ForBla ext...

# arrow

[pakoito]

basically now, instead of recommending ForBla extensions {}, whenever you @extends we create the extension functions for that typeclass directly on your datatype at a global scope