Interface FunctionK<F extends Kind<F,?>,G extends Kind<G,?>>


public interface FunctionK<F extends Kind<F,?>,G extends Kind<G,?>>