&.) :: Form p t a -> Form p t b -> Form p t (Conj a b)
Form a .&. Form b = Form $ a :& b
(
(.&.) :: Form p t a -> Form p t b -> Form p t (Conj a b)
Form a .&. Form b = Form $ a :& b
Form a .&. Form b = Form $ a :& b