path: root/testsuite/tests/typecheck/should_fail/T16059c.hs

{-# LANGUAGE Haskell2010 #-}
module T16059c where

import T16059b

f :: Foo -> a -> f
f g x = g x