Sagitta is a Haskell inspired strict runtime type system for Python.