Module functors vs. records-of-functions for interface/implementation separation

your last example here is actually incredibly cool of its inner workings, although using strings feels kinda meh, but on the other hand as i’m exploring module functions for DI, that syntax is becoming incredibly verbose as well so…