がある場合、既存のものを に変換F<A, B>
するにはどうすればよいですか?Ord<A>
Ord<B>
例えば:
public class Foo {
public String name;
}
F<Foo, String> f = new F<Foo, String>() {
public String f(Foo foo) {
return foo.name;
}
};
Ord<String> stringOrd = Ord.stringOrd;
Ord<Foo> fooOrd = ???