GADTs

{-# LANGUAGE GADTs #-}

これら2つは等価

code:hs

-- 普通の構文

data List a

= Empty

| Cons a (List a)

-- GADT の構文

data List a where

Empty :: List a

Cons :: a -> List a -> List a

1行ごとに値コンストラクタを定義する

何が嬉しい？

ユースケースを知りたい

参考