How about just `strictifyTo`?
Then a test example would read like this:

    Default(...) must strictifyTo(Strict(tpe, abc ++ de ++ fgh ++ ijk))