Tuples

Pattern synonyms T2, T3 pack and unpack tuples:

fstBVar :: (HasGrad a, HasGrad b) => BVar r (a, b) -> BVar r a
fstBVar (T2 a _b) = a

tieBVar :: (HasGrad a, HasGrad b) => BVar r a -> BVar r b -> BVar r (a, b)
tieBVar a b = T2 a b