See comments in #121. The idea is to add a Haskell-like type definition syntax that will compile down to a MyPy-compatible type annotation.