module Main where

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