9 Nov
2006
9 Nov
'06
6:20 p.m.
On 11/9/06, Cale Gibbard <cgibbard@gmail.com> wrote:
We could have class Functor f where (.) :: (a -> b) -> (f a -> f b)
We could, but I'd be *very* worried about losing some important type inference doing that. -- Taral <taralx@gmail.com> "You can't prove anything." -- Gödel's Incompetence Theorem