Context Navigation

TypeType

v15	v16
116	116
117	117	`` is the kind of boxed values. Things like `Int` and `Maybe Float` have kind ``.
	118
118	119	`#` is the kind of unboxed values. Things like `Int#` have kind `#`.
	120
119	121	`(#)` is the kind of unboxed tuples. Things like `(# Int, Int #)` have kind `(#)`.
	122
120	123	`ArgKind` is the kind of things that can appear as arguments to functions.
	124
121	125	`OpenKind` is the kind of things that can appear as results of functions.
122	126