The identity monad.
It does not do much in itself, but at least it defines the identity function.
proc apply[A; B](self: A; f: A -> B): B
func itself[T](value: T): T