concrete ConjunctionSwa of Conjunction = CatSwa ** open ResSwa, Coordination, Prelude in { }