型レベルプログラミング

PhantomData ベースのヒント技法を用いてジェネリクスを自動推論し、カーソルベースの抽象 Method トレイトを定義する方法を解説します。