Stub for separable-ease phrase.
Note on what decltype( declval ) does.