$TestsOnly$

concrete Type {}

define Type {}