Hello Thomas, Monday, October 9, 2006, 3:47:05 PM, you wrote:
> constraints on its type. Rather than being just any type that is an > instance of A, I want to do a runtime check and do something different it's a sort of problem that bites me many times when i start to wrote Streams library :) although you said that you discovered the dictionaries mechanism, i propose you to read http://haskell.org/haskellwiki/OOP_vs_type_classes page where you can find something that you don't yet know -- Best regards, Bulat mailto:[EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe