Composition operator [was: Re: Records in Haskell]

J. Garrett Morris jgmorris at
Sat Jan 14 05:32:00 CET 2012

On Fri, Jan 13, 2012 at 8:23 PM, Matthew Farkas-Dyck
<strake888 at> wrote:
> 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 {*, **, ***, ...}


"Would you be so kind as to remove the apricots from the mashed potatoes?"

More information about the Glasgow-haskell-users mailing list