<div dir="ltr">Your answers seem to originate outside of normal Haskell tutorials. Where can I start with this higher superset theory?</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Apr 13, 2021 at 1:19 PM Viktor Dukhovni <<a href="mailto:ietf-dane@dukhovni.org">ietf-dane@dukhovni.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">> On Apr 13, 2021, at 2:02 PM, Tom Smeding <<a href="mailto:x@tomsmeding.com" target="_blank">x@tomsmeding.com</a>> wrote:<br>
> <br>
> Although, because of the fact that you omitted 'Functor f =>' and<br>
> instead chose to write the constraint in prose beforehand, I get the<br>
> feeling that you may be speaking mathematically, not about Haskell as<br>
> compiled by GHC.<br>
<br>
Yes, mathematically, with Haskell-like syntax.  Also the<br>
functors in question were intended to stand for specific<br>
functors, rather than be universally quantified.<br>
<br>
So perhaps better:<br>
<br>
  Yoneda (with A some type and F some functor):<br>
<br>
        foo :: forall b. (A -> b) -> F b<br>
<br>
    <=> foo bar = fmap bar (foo (id @A)<br>
<br>
-- <br>
        Viktor.<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div>