Is there a type we can give to
y f = f . f
y id y head y fst
are all typeable?
Jim Apple
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
- [Haskell] Type of y f = f . f Jim Apple
- Re: [Haskell] Type of y f = f . f Pedro Vasconcelos
- Re: [Haskell] Type of y f = f . f Till Mossakowski
- Re: [Haskell] Type of y f = f . f Ben Rudiak-Gould
- Re: [Haskell] Type of y f = f . f Jon Fairbairn
- Re: [Haskell] Type of y f = f . f David Menendez
- [Haskell] Re: Type of y f = f . f Jim Apple
- Re: [Haskell] Re: Type of y f = f ... John Meacham
- RE: [Haskell] Re: Type of y f ... Jacques Carette
- Re: [Haskell] Re: Type of ... Keean Schupke
- Re: [Haskell] Re: Type of y f = f ... Jon Fairbairn
