concrete ExtraGer of ExtraGerAbs = CatGer ** open ResGer in {

}