This paper was recommended to me yesterday evening, when I expressed difficulty in fully understanding section 6.9 in the PureScript book:<p><a href="https:&#x2F;&#x2F;leanpub.com&#x2F;purescript&#x2F;read#leanpub-auto-nullary-type-classes" rel="nofollow">https:&#x2F;&#x2F;leanpub.com&#x2F;purescript&#x2F;read#leanpub-auto-nullary-typ...</a><p>It&#x27;s certainly opening my eyes to a deeper understanding of the nature and role of the type system.