Interface CheckedFunction<T,​R>