Li-Fan Chen
says to
YSITD
然後 Haskell 他可以表示出一個類型可能是兩種咚咚 例如 data Shape = Circle Int | Rect Int Int