I agree - I really had to deobfuscate &#x2F; parse the signature first before even being able to start comprehending what it is about.<p>Not saying that there are no monster type signatures in Haskell (just recovering from one such instance in purescript-halogen), but it&#x27;s really the most leightweight syntax for annotating types out there.<p>I often use Haskell signatures in comments when writing JS or whatever, just to keep the types straight.