->) :: Form p t a -> Form p t b -> Form p t (Cond a b)
Form a .-> Form b = Form $ a :-> b
i
(.->) :: Form p t a -> Form p t b -> Form p t (Cond a b)
Form a .-> Form b = Form $ a :-> b
Form a .-> Form b = Form $ a :-> b