オブジェクト指向におけるInterfaceのようなもので、Haskellで型変数や型に契約を与える。