kind-of

Inspect the kind of a Coalton type constructor.

kind-of is a debugging helper for type constructors.

Syntax

(kind-of '⟨type-name⟩)

Semantics

kind-of is called from the surrounding Common Lisp environment.
It looks up a Coalton type and returns its kind, or NIL if the type is not known.
This is useful when working with higher-kinded types and aliases.

Example

(kind-of 'Result)