It’s not just HKTs. Figuring out how to handle Fn, FnOnce, FnMut is a whole other can of worms.