いくらかのレビュワーがOpaqueTypeに名前をつける機能（ReverseGenericsとかでしょうね）を大事って言ってるけど、minimum viable productを出すのが良いと結論した、みたいな。