that is always satisfied for concrete c, like e.g. Typeable does, such that optionalDict would return Just Dict if constraint c is satisfied at call side?