This extractor is redundant and needs to be removed before `3.0.0-RC1` as we do not want to break the API after that. All use case of `Const` are covered by simpler calls to `.unlift`/`.unliftOrError` or by the more general `Unlifted` extractor.