On Sat, Aug 14, 2010 at 2:27 PM, Ivan Lazar Miljenovic < [email protected]> wrote:
> Alexey Karakulov <[email protected]> writes: > > > > (Ord b) must be deduced from (Functor (Set b)) but it doesn't. I don't > know > > whether it's my mistake somewhere or ghc problem. > > I've come across this problem as well; the best solution I've seen so > far is the one taken by Ganesh in his rmonad library: > http://hackage.haskell.org/package/rmonad > > -- > Ivan Lazar Miljenovic > [email protected] > IvanMiljenovic.wordpress.com > Thanks for the link, but RFunctor typeclass is still (more or less) polymorphic, so I couldn't write ByteString instance for it. (Really I don't care about ByteString, but it's good example). However, I could try to use Suitable+Constraints concept for non-polymorphic functors. -- All the best, Alexey
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
