packages feed

ghc-exactprint-1.14.0.0: tests/examples/pre-ghc910/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) $ ()