--# -path=.:../abstract:../common:../prelude

concrete SymbolIce of Symbol = CatIce ** open Prelude, ResIce in {}