Search for a command to run...
satisfies checks a value against a type without widening it. Here's the one config-object pattern where it finally clicked for me.