Typecheck... Check!