remove unnecessary testing definition from CodeTypes.hs