better documentation for the dependency coercions