#+title: Haskell-like types

[[file:20200708123930-haskell.org][Haskell]]-like types are, in my understanding, a type of data type that describes
behavior.