vProd :: Value -> Value -> Value
vProd _A _B = VSg _A (bind (s2n wildcard) _B)
vProd :: Value -> Value -> Value
vProd _A _B = VSg _A (bind (s2n wildcard) _B)
vProd _A _B = VSg _A (bind (s2n wildcard) _B)