om :: p r n -> VProd t n as -> Form p t (At (r # as))
atom p as = Form $ Atom $ A p as
n
atom :: p r n -> VProd t n as -> Form p t (At (r # as))
atom p as = Form $ Atom $ A p as
atom p as = Form $ Atom $ A p as