[Haskell-cafe] Choosing a type-class instance based on the context

Stephen Tetley stephen.tetley at gmail.com
Wed Jan 5 20:35:14 CET 2011

Though its quite different to AdvancedOverlap, Conal Elliott has a
method of answering the title of your post - "Choosing a type-class
instance based on the context".

See the CxMonoid (context monoid) in Section 3. Flexible Layout of the
paper Applicative Data-Driven Computation.


Best wishes


More information about the Haskell-Cafe mailing list