プロポーザルには書いてあったけどすぐには実装されなかったんです

7:10 AM

@returnTypeOf(P.foo())

そっか、これでいいのか

7:10 AM

fixed opaque type at P.Assoc みたいな別概念で処理するのかと思ってた