Title: systematic typing