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