I am reading the book 'Programming in Scala' (The red book). In the chapter about Monoids, I understand what a Monoid homomorphism is, for example: The String Monoid M with concatenation and leng...

I am in need of the following class of functions: class InterleavedHomomorphic x where interleaveHomomorphism :: (forall a . f a -> g a) -> x f -> x g Obviously the name I invented for...