Type constructor

<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Kind_(type_theory)/zBNyH1IP">Kind (type theory)</a></li>
<li><a href="/facts/Algebraic_data_type/Fn9KhnAb">Algebraic data type</a></li>
<li><a href="/facts/Recursive_data_type/fzBvEl6A">Recursive data type</a></li></ul>

<ul><li>Pierce, Benjamin (2002). <i>Types and Programming Languages</i>. MIT Press. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-262-16209-1., chapter 29, "Type Operators and Kinding"</li>
<li><a href="/facts/P.T._Johnstone/j3k2A3Xl">P.T. Johnstone</a>, <i>Sketches of an Elephant</i>, p. 940</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Marlow, Simon (April 2010), "4.1.2 Syntax of Types", Haskell 2010 Language Report, retrieved 15 August 2023 <a href="https://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-650004.1.2" target="_blank">https://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-650004.1.2</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>"Constructor". HaskellWiki. Retrieved 15 August 2023. <a href="https://wiki.haskell.org/Constructor" target="_blank">https://wiki.haskell.org/Constructor</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
</ol>

Type constructor open-in-new

Type constructor