fix Test.hs
synonyms, think about vcos?