extracted Concat.hs from Alloy generator