一番最初にロードされるべき型環境を、人手で推論しながら書いてます。自由型変数大杉。束縛し忘れると多相型にならなくてあぼーん。いろいろ試したが多分手書きが一番楽ちん。 ああああああああーーーーもうーーーーーーー!!!!
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。