-- import data type: fail because only type con is exported

module Main
where

import Imp2.Exp2

i2 :: X Int
i2 = XX

main = i2

 import data type: fail because only type con is exported

module Main
where

import Imp2.Exp2

i2 :: X Int
i2 = XX

main = i2
