module Foo where

data Exp a
  = (a ~ Int)  => I Int
  | forall b . (a ~ b) => Iff (Exp b)

e1 :: Exp Int
e1 = Iff (I 999)

main :: IO ()
main = print ""