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

{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE PartialTypeSignatures #-}
module T10519 where

foo :: forall a. _ => a -> a -> Bool
foo x y = x == y