fe7499000ef2ec6cff19fdcb7e96827ba5368bb0Christian Maederlibrary NestedParams
fe7499000ef2ec6cff19fdcb7e96827ba5368bb0Christian Maederspec s [sort p] = sort s[p]
fe7499000ef2ec6cff19fdcb7e96827ba5368bb0Christian Maederspec s2 = s[s[s[sort p] fit p |-> s[p]] fit p |-> s[s[p]]]