Edit requests of Scala 2.12のゆるふあな話をするよ！(Partial Unification for Type Constructor Inference)