Brendan Zabarauskas@brendanzab·Aug 24, 2017@paf31 Any idea what part of @purescript’s type checker should I look at to see why this works? http://try.purescript.org/?gist=d5bbb7434c6ee5fb84249f90d57edaa6…2
Brendan Zabarauskas@brendanzabReplying to @brendanzab @paf31 and @purescriptCurious as to what papers to look at to get an up-to-date view on how to implement higher ranked polymorphism nicely 🤔2:02 PM · Aug 24, 2017·Twitter for Mac
