Haskell располагает к созданию множества новых типов: это легко, дешево, и повышает надежность программ. В то же время, для вновь созданного типа изначально не определены никакие операции. О том, как решается эта проблема, мы и поговорим.