Python types - all the onus of static types, with none of the power of calculus of constructions. /s