三種の神器
モナド変換子
ReaderT
WriterT
StateT
コモナド
Env Trace Store
例外処理
throwIO catch mask
並行処理
MVar
forkIO killThread
自明な構造
Identity
Proxy
Void