Static types