Composing functions with a intermediate polymorphic type in Haskell

Question

I have the following file:

module SimpleComposition where

class Intermediate a where
    f :: a -> Int
    g :: Cha