gistfile1.txt

19:45 < Guest4321> @kmc: Assuming Rust has HKT, why not just define a Functor as a higher-kinded struct and define a generic impl on 
                   it? Why do we need traits?
19:45 < Guest4321> had*
19:46   <   frozendevil!Adium@moz-62FB197F.com [Quit: Leaving.]
19:46 < mcpherrin> kmc: https://github.com/mozilla/rust/issues/6393
19:46 <@cmr> Guest4321: functor describes behavior of an interface, not a single concrete thing.
19:46 <@kmc> Guest4321: because the implementation of fmap varies according to the type inside
19:46 <@cmr> that'd be like making a monoid struct
19:46 <@cmr> what would the point be
19:47 <@kmc> it's not parametric polymorphism
19:47 < mcpherrin> (I think that's the right bug)
19:47 <@kmc> it's bounded ad-hoc polymorphism aka overloading