Phantom types for Python.
A small, "full-stack" Purescript "video tracker" for me to track what sh...