方法级别的泛型，如果在实现类中确定下来？

Question

现在有这样一个接口。

    interface Functor<T,F extends Functor<?,?>> {
        <R> F map(Function<T,R> f);
    }

我想在实现类中确定R的类型，比如规定R必须为Boolean,我该如何实现呢？

Answer 1

把R放到类上

    interface Functor<T, F extends Functor<?, ?, ?>, R> {
        F map(Function<T, R> f);
    }

    static class FunctorImpl<T> implements Functor<T, FunctorImpl<T>, Boolean> {
        @Override
        public FunctorImpl<T> map(Function<T, Boolean> f) {
            return null;
        }
    }