Crystal langでPhantom Typeやりたい

引き続いてCrystal。

KotlinでPhantom Type #kotlin_sansan // Speaker Deckを読んでて、似たようなことできるかなとちょっと書いてみたが、C++で言うところのテンプレートの特殊化ができないっぽいのでなんか違う感じになった。

マクロで実現できないかなといろいろ試してみたけど、できなかったのでうーむ。もうちょっと調べてみるか。