strict typing in typescript