monad, monad transformer 까지가 끝인줄 알았는데,

실무에서 쓸 정도 되려면 GHC 익스텐션, 타입 프로그래밍도 어느정도 활용 할 수 있는 수준이여야하네..

TypeFamilies, GADTs, TypeApplications, TemplateHaskell 도대체 이걸 쓰는 괴수들은 뭐하는 사람들이냐..