inoutVariant :: (Variant a, Variant b) => ArgInOut a b
inoutVariant x        = (inVariant x,resVariant)
inoutVariant :: (Variant a, Variant b) => ArgInOut a b
inoutVariant x        = (inVariant x,resVariant)
inoutVariant x        = (inVariant x,resVariant)