モノイド Monoid は、値を2項演算子で結合できるような型を表現する。 newtype キーワード newtype キーワードを使うと、既存の型から新たな型を作ることができる。 リストをアプリカティブファンクターにする方法は複数ある。 左辺のリストの関数と右辺のリ…