この記事はHaskell Advent Calendar 2013の3日目の記事です。 目次 どうして？ ファンクタを拡張しよう おさらい 引数をふたつ取ろう 逆転の発想 共変・反変・自由変・固定変 データ型の整理 正の位置と負の位置 自由変と固定変 ファンクタ類を自動生成しよ…