Refinements for Scala eXchange.