[Haskell-cafe] AbstractDataType question