{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
{-# LANGUAGE TypeFamilies #-}
module InstEqContext where
{- encoding of
- class C a | -> a
-}
class a ~ Int => C a
instance C Int
unC :: (C a) => a -> Int
unC i = undefined
test :: Int
test = unC undefined