eval: X × XX → X
X(1+X) → X
(Option[X] → X) → X
Y
[ Home | Post Entry | Log in | Search | Browse Options | Site Map ]