yeah i figured it’d be complex to implement and it’s a not-so-common scenario (module functions are underrated and underused tbh, they really serve a useful purpose especially with regard to DI).
and yeah, good point re. type ascription or skolemization or whatever it’s called when type is hidden behind module type T.