どこまでがparser、どこからが型検査器の責務か