Module Functions (C : Creator with type state := state) : Functions with type 'a functions := 'a functions with type worker := C.worker