path: root/testsuite/tests/partial-sigs/should_compile/T16728a.hs

{-# LANGUAGE ExplicitForAll, PartialTypeSignatures #-}
module Bug where

g,h:: forall a. a -> _
g x = h x

h x = g x