How to compose polymorphic functions in Haskell?

Question

I have the following file:

module SimpleComposition where

class Domain a where
    f :: a -> a
    g :: a -> a