Can we avoid this? (And below for WildFunction)