tarunon

相当ムズいぞ

まあ今までは、「なんでassociated typeあると P が変数に使えないの？」で、難しい話が蓋されてたんだよね、それが開いちゃった