Haskell-like types

[[Haskell]]-like types are, in my understanding, a type of data type that describes behavior.