Update cyk.hs