277N/Atype ** : Type -> Type -> Type

277N/Avar a < c

277N/Avar {a}: c -> d

277N/Aclass Monad < Type -> Type

911N/Atype a : Monad := \ t . t -> t

851N/Afree type Term ::= Var Variable | Lam Variable Term | App Term Term

277N/Atype WNet={(sys,i,o): T * T * T . i = o }

277N/Avar a+ : Type

919N/Avar -

919N/Avar []+

919N/Aop a:? b

919N/Aop a: ? b

919N/A