Simple dependent types in Python | Open Awesome