Edit requests of Freer Effectsが、だいたいわかった: 5. 一般化代数データ型(GADTs拡張)の解説