Type that depends on generic argument as value argument to function

Question

I have a generic type Group that looks like this:

// K -> Key
// I -> Input
type Group = {
    key: K;
    func: (i: I) => v