モナド変換子 ReaderT WriterT StateT

コモナド Env Trace Store

例外処理 throwIO catch mask

並行処理 MVar forkIO killThread

自明な構造 Identity Proxy Void