There's a hack!

You can do

    data Value a =
      I32 Int32 a
      B Bool

and then

    type Value1 = Value ()
    type Value2 = Value Void

as a hack