13 Jan
2012
13 Jan
'12
11:32 p.m.
On Fri, Jan 13, 2012 at 8:23 PM, Matthew Farkas-Dyck
p :: P (p (P pp p))
This is not too far off the original design of Miranda, in which type variable names were drawn from the set {*, **, ***, ...} /g -- "Would you be so kind as to remove the apricots from the mashed potatoes?"