Type checking contd.