unique typeがマイナーとかいう奴は、
モナドやlinear typeがマイナーだと言っているようなもんだと思うが。
やはりストリームベースが本流か？環境渡し技術なんて邪道か？
それこそ頭空っぽだな。逝って来い。