Text this: Constructive Domains with Classical Witnesses