1{-# LANGUAGE TypeFamilies #-}
2f :: ( Eq a, (a ~ Int) ) => a -> Int
3f _ = 3
4