我需要以下类函数：class InterleavedHomomorphic x where interleaveHomomorphism :: (forall a . f a -> g a) -> x f -> x g 显然我为此发明的名称并不是任何官方术语，上述类型类也...