7 lines
202 B
Plaintext
7 lines
202 B
Plaintext
export some := \v. \d.\f. f v
|
|
export none := \d.\f. d
|
|
|
|
export map := \option.\f. option none f
|
|
export flatten := \option. option none \opt. opt
|
|
export flatmap := \option.\f. option none \opt. map opt f
|