<div dir="auto"><div dir="auto">Hello Tesla,</div><div dir="auto"><br></div><div dir="auto">Thank you for your response!</div><div dir="auto"><br></div><div dir="auto">> F-bound is a way of having access to the</div><div dir="auto">> subtype in the supertype. That's a trick</div><div dir="auto">> used by Java in the Enum interface, note</div><div dir="auto">> that it has a generic parameter. If you</div><div dir="auto">> have an enum T, then T extends</div><div dir="auto">> Enum<T>. Note that this extends relation</div><div dir="auto">> has some sort of recursion -- that's the </div><div dir="auto">> F-bound.</div><div dir="auto"><br></div><div dir="auto">This somewhat clears it up. Are you basically saying that the only reason why the supertype can know about the subtype is because the relationship is recursive, and thus, the recursion allows the supertype to "know" about the subtype because the subtype is just a roundabout way of referencing itself - something the supertype DOES have access to?</div><div dir="auto"><br></div><div dir="auto">> A well-formed type is a type that makes</div><div dir="auto">> sense. You can think of it as a type</div><div dir="auto">> expression that doesn't contain an error.</div><div dir="auto">> But you need to make sure you have a</div><div dir="auto">> sensible criterion of "no error".</div><div dir="auto"><br></div><div dir="auto">Ok, this makes a lot of sense. I think my confusion came from the fact that all of my google searches dug deep into the criterion itself before explaining that it's just a set of criterion that's either arbitrarily chosen or respective to the domain where "type" is defined.</div><div dir="auto"><br></div><div dir="auto">Thid gave me a lot of insight. I understand the first half of my question a lot better now.</div><div dir="auto"><br></div><div dir="auto">Thank you for your time and help!</div><div dir="auto">David Alayachew</div><div class="gmail_quote" dir="auto"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"></div>
</blockquote></div></div>