値を2項演算子で結合できるような型を表現する。キーワードを使うと、既存の型から新たな型を作ることができる。リストをアプリカティブファンクターにする方法は複数ある。左辺のリストの関数と右辺のリストの値のあらゆる組み合わせのリストを作る方法。[1,2,3][2,3,4,100,200,300,5,10,15]2つのリストを綴じ合わせるように新たなリストを作る方法。ZipListを使う。実際にこのようにnewtypeで定義されている。定義されない理由は、コンストラクタに包んだりほどいたりするような処理のオーバーヘッドがかかるため。既存の型を何かでくるんで新しい型を作るために使う。場合、上記のような制約は無い。型クラスのインスタンスを導出できる。返す値コンストラクタとなっている。返す関数となっている。これは、2種類の型の間の変換だと考えることができる。使って型クラスのインスタンスを作るタプルをFunctorのインスタンスにしたいと考える。タプルに作用させて第一要素を変更するようにしたい。部分だけだよーと指定するのはできない。2つの型引数の順番を入れ替える。作った型にはパターンマッチが使える。(1)月別アーカイブスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。