1 2 3 4 5 6 7 8 9 10
{-# LANGUAGE MultiParamTypeClasses #-} module T14306 where class (a `C` b) c class (a `D` b) c d class (a `E` b) class a `F` b