/generics/
../
associator.pd
commutative-test.pd
commutator.pd
invertor.pd