On Wednesday 09 February 2011 16:23:15, Sebastian Fischer wrote: > Why don't the rules fire,
Because the 'match' is at the wrong type. In main, idGen appears as idGen_anJ :: ([()] -> [[()]]) -> [[()]] -> [[()]] at some point (yay for ghc -v4), so it doesn't match g's polymorphic type. > what can I change such that they do, Type signatures. > and what to get rid of the warning for the second rule (which I think > is the one I should use)? I'll let that for somebody else. _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users