型推論でオートマチックに通るのが1個まで、ですね

7:28 AM

後は制約しないものをオーバーロードしてmap(Foo.from)みたいにすればまあいけるっちゃいけるだが… (edited)