1 2 3 4 5 6 7 8 9 10 11 12
{-# OPTIONS -Wall #-} module T3696 where class C a where c :: a instance C Int where c = 37 def = c use :: Int use = def