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

{-# LANGUAGE PartialTypeSignatures, TypeFamilies #-}
module EqualityConstraint where

foo :: a ~ Bool => (a, _)
foo = (True, False)