Index - K
| KApplicative | AST.Class.Apply, AST |
| KApply | AST.Class.Apply, AST |
| KFoldable | AST.Class.Foldable, AST |
| KFoldableInferOf | AST.Class.Infer.InferOf, AST.Infer |
| KFunctor | AST.Class.Functor, AST |
| KFunctorInferOf | AST.Class.Infer.InferOf, AST.Infer |
| KHasPlain | AST.Class.HasPlain, AST |
| kLiftConstraint | AST.Class.Nodes, AST |
| KMonad | AST.Class.Monad |
| KNodes | AST.Class.Nodes, AST |
| KNodesConstraint | AST.Class.Nodes, AST |
| Knot | |
| 1 (Type/Class) | AST.Knot, AST |
| 2 (Data Constructor) | AST.Knot, AST |
| KPlain | AST.Class.HasPlain, AST |
| kPlain | AST.Class.HasPlain, AST |
| KPointed | AST.Class.Pointed, AST |
| KRecSelf | AST.Recurse |
| KRecSub | AST.Recurse |
| KRecWitness | AST.Recurse |
| KTraversable | AST.Class.Traversable, AST |
| KWitness | AST.Class.Nodes, AST.Class.Nodes, AST.Knot.Pure, AST.Knot.Functor, AST.Knot.Ann, AST, AST.Unify.Generalize, AST.Term.Row, AST.Term.Map, AST.Term.FuncType, AST.Term.Scheme, AST.Term.TypeSig, AST.Term.Nominal, AST.Term.Let, AST.Term.Lam, AST.Term.App, AST.Term.NamelessScope |