&gt; Having dynamic types and macros makes it a very different beast to Haskell,<p>Can you speak to how the type systems in Typed Racket and Haskell differ?<p>I ask because I too have tried scaling Mount Haskell and noped out not long after the base camp. If I continue with Typed Racket, am I getting some or most of what I&#x27;d get by learning Haskell? Or is Haskell simply a beast I must slay to become whole?