(*#* Though [scs_elem] is declared as a coercion, it does not satisfy the
uniform inheritance condition and will not be inserted. However it will
also not be printed, which is handy.
*)
(*#* Though [scs_elem] is declared as a coercion, it does not satisfy the
uniform inheritance condition and will not be inserted. However it will
also not be printed, which is handy.
*)