modified:   Morphy/src/Syntax/Constructions.hs