const package:basement
const x is a unary function which evaluates to
x for
all inputs.
>>> const 42 "hello"
42
>>> map (const 42) [0..3]
[42,42,42,42]
Obtaining the constructor from a given datum. For proper terms, this
is meant to be the top-level constructor. Primitive datatypes are here
viewed as potentially infinite sets of values (i.e., constructors).