fix type mistake in CodeTypes.hs