Yeah, that&#x27;s what I meant to type, thanks.<p><a href="https:&#x2F;&#x2F;github.com&#x2F;dobarkod&#x2F;typedecorator" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;dobarkod&#x2F;typedecorator</a> is interesting -- I was imagining type signatures more like haskell&#x27;s:<p><pre><code>  addNumber :: Int -&gt; Int -&gt; Int
</code></pre>
translating to something like<p><pre><code>  @TypeSignature([int, int, int])
  
  def add_number(a,b):
      ....
</code></pre>
It&#x27;s just as possible to have the compile-time program that&#x27;s doing the checking process the decorators.