型安全なリストを作るのです(｀・ω・´) ～ その1、Phantom Type（幽霊型）入門ですー＞ω＜2月 20 2014 型安全なリストを作るのです(｀・ω・´) ～ その1、Phantom Type（幽霊型）入門ですー＞ω＜ Phantom Typeってなんです(・ω・? Phantom Type…、幽霊型… みなさん、ご存知でしょうか(・ω・? わたしは昔に何度かTwitterで見かけたので、名前だけは知っていました(｀・ω・´) かっこいい名前だな―って感じです＞ω＜ ファントム・タイプ！！！ で、ちょっと面白そうな香りがしたので調べてみましたのです＞ω＜ Phantom Typeさん、名前は仰々しいですが、その実態は非常に単純なものでした＞ω＜ Phantom Typeとはつまり、こういうことです＞ω＜ え(・ω・? どういこと(・ω・? これだけでは分かりにくいかもしれませんです(´・ω・｀) ですがよく見てください。PhantomType型は二つの型変数を取りますが、右辺のデ
