[Haskell-cafe] Roles == type classes ???