@@ -84,6 +84,9 @@ infixr 9 ==>
8484(==>) :: Type -> Type -> Type
8585a ==> b = TermN (Fun1 a b)
8686
87+f <| a = TermN (App1 f a)
88+
89+
8790namedVar name = UF.fresh $ Descriptor {
8891 structure = Nothing,
8992 rank = noRank,
@@ -124,6 +127,7 @@ exists f = do
124127 v <- flexibleVar
125128 ex [v] <$> f (VarN v)
126129
130+
127131instance Show a => Show (UF.Point a) where
128132 show point = unsafePerformIO $ fmap show (UF.descriptor point)
129133