Typecheck EZ
rc