path: root/testsuite/tests/typecheck/should_compile/T3696.hs

{-# OPTIONS -Wall #-}

module T3696 where

class C a where c :: a

instance C Int where c = 37

def = c

use :: Int
use = def