A type alias for a Contextual explicitly parameterized by its Key type.
Key
Summons a Contextual that is available implicitly.