いう型の意味や有用性について軽く説明しました。パッケージにある他の型について触れていこうと思います。これは以下のような定義でした。いう形が出てきています。この型は様々な意味のあるものに化けていきます。型はゲッターとセッターを合わせたような型でした。ゲッターとセッターが両方用意できるとは限りません。このゲッターに対応するセッターは作りにくいです。いうものがあれば便利です。型として採用すれば良いように思えます。型の値を渡すことはできません。型と同型な型が作れます。して定義されています。ついて触れておきましょう。非常に似ている型クラスです。型の文脈に包まれた値を操作する関数に持ち上げることができます。この変換後の関数の向きが逆になります。