{-# LANGUAGE TypeFamilies #-}

f :: (Eq a, (a ~ Int)) => a -> Int
f _ = 3