Using proper inheritance and alg() type refinement in Unless.