module Make(H : S.Handler) : S.Dispatch