Hi, From perspective of a haskell beginner coming from OOP: Tt's like interfaces. If a class supports interface X, then it must also supports interface Y. That's all. It's a simple thing, but can be complicated if you will try to understand it in OOP terms. Emanuel