type signature enhancements suggested by standalone