path: root/testsuite/tests/deSugar/should_compile/T4870a.hs

module T4870a where

class C a where c :: a -> a

{-# INLINABLE f #-}
f :: (C a) => a
f = c f