fpinrust Rust に HKT が実装されてから着手したい。 なお、現在、generic associated types (GAT) という、HKT実装の布石のような機能の開発が進められている。