In Haskell behavour is type-directed (type classes) and they describe both.