|.) :: Form p t a -> Form p t b -> Form p t (Disj a b)
Form a .|. Form b = Form $ a :| b
(
(.|.) :: Form p t a -> Form p t b -> Form p t (Disj a b)
Form a .|. Form b = Form $ a :| b
Form a .|. Form b = Form $ a :| b