<div><div><div dir="auto">To add, t is typically some kind of container although it doesn’t have to be. For instance, “t a” could be a “list (of) cat(s)”, except it doesn’t <i>have</i> to be a list (can be anything that’s an instance of Foldable), and it doesn’t <i>have</i> to be cats (could be a giraffe or a piano or any other type).</div><div dir="auto"><br></div><div dir="auto">In “list (of) cat(s)”, list can be thought of as a type-level function that takes a type (cat) to construct a concrete type (list cat), hence the notation.</div></div><div dir="auto"><br></div><div dir="auto">This shows you commonly defined instances of Foldable (notice that the very first one is a list, denoted by [ ]).</div><div dir="auto"><br></div><div dir="auto"><div><a href="https://hackage.haskell.org/package/Cabal-3.4.0.0/docs/Distribution-Compat-Prelude-Internal.html#t:Foldable" target="_blank">https://hackage.haskell.org/package/Cabal-3.4.0.0/docs/Distribution-Compat-Prelude-Internal.html#t:Foldable</a></div></div><div dir="auto"><br></div><div dir="auto">— </div></div><div><div dir="auto">RRI</div><div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Aug 3, 2021 at 18:06 Francesco Ariis <<a href="mailto:fa-ml@ariis.it" target="_blank">fa-ml@ariis.it</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)">Il 03 agosto 2021 alle 19:36 Galaxy Being ha scritto:<br>
> Thanks for the insights. So what then does the t a part mean? In the<br>
> simpler version t a is [a]. Is t some container? It's not meant to be a<br>
> function, is it?<br>
<br>
`t` is any unary type constructor. Maybe, Tree, etc. all take one parameter<br>
(Maybe a, Tree a, etc.); in a similar fashion [] takes one parameter<br>
([] a). [a] is just syntactic sugar<br>
<br>
    λ> [7] :: [Int]<br>
    [7]<br>
    λ> [7] :: [] Int<br>
    [7]<br>
<br>
_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org" target="_blank">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br>
</blockquote></div></div>
</div>
</div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><font face="verdana, sans-serif">-- </font></div><div><font face="verdana, sans-serif">Ramnath R Iyer</font></div></div></div></div></div></div></div>