Types _really_ matter