ghc-exactprint-0.6.4: tests/examples/ghc90/DollarDefault.hs
{-# LANGUAGE LinearTypes #-}
module DollarDefault where
class C p where
cid :: p a a -> p a a
instance C (->) where
cid = id
foo = (cid $ id) $ ()
{-# LANGUAGE LinearTypes #-}
module DollarDefault where
class C p where
cid :: p a a -> p a a
instance C (->) where
cid = id
foo = (cid $ id) $ ()