There's a hack!
You can do
data Value a =
I32 Int32 a
B Bool
type Value1 = Value ()
type Value2 = Value Void