ENGINEERBLOG
Aux Patternの紹介
Phantom Type(幽霊型)という型パラメータを使用してコンパイル時には影響を与えるが、実行時の挙動には影響を与えない型を用いたデザインパターンの一種の説明です。