1 2 3 4 5 6
{-# LANGUAGE TypeFamilies #-} module ShouldFail where foo :: (a,b) -> (a~b => t) -> (a,b) foo p x = p