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

absolutely agree with this take, but my reasoning focuses on the particular areas where there is interaction (hence Clock and Log above in the examples). i’m actually leaning towards module functions now despite somewhat heavier syntax.