4.1 Simple TypesHaskellは静的型付け言語であり、全ての式は型を持っている。 さらに、タイプインターフェイスというシステムがあり、式の型を指定する必要がない。型はコンテキストから推論される。 HugsやGHCでは、:tコマンドを使用することで式の型を調…