@jk also make sure the behaviour depends on the return type, which is infered by the compiler for every call site separately.