add eta-conversion between a Funtion and a Java interface