path: root/testsuite/tests/linear/should_compile/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) $ ()