$TestsOnly$

concrete Type { }

define Type { }