ExistentialQuantification
{-# LANGUAGE ExistentialQuantification #-}
存在类型专用的语言扩展
Haskell语言学习笔记(73)Existentials
GADTs
{-# LANGUAGE GADTs #-}
广义抽象代数类型专用语言扩展
Haskell语言学习笔记(74)GADTs
OverloadedStrings
{-# LANGUAGE OverloadedStrings #-}
用于重载字符串字面量类型的语言扩展
Haskell语言学习笔记(49)ByteString Text