module Main where

functionName :: (C a) => a
functionName1 :: (C a) => a
functionName2 :: (C a, D a) => a