org.combinators.cls.types
Helper object to construct Kinding.
Creates a new non-empty Kinding rooted in variable v.
v
Creates a new empty Kinding.
Helper object to construct Kinding.