1. 31
    Higher-Kinded Data haskell programming reasonablypolymorphic.com
    NinjaTrappeur avatar via NinjaTrappeur 4 months ago | cached | 3 comments

  1.  

  2. 12
    phaer avatar phaer 4 months ago | link

    Because others might also find it non-obvious. Two of the announced follow-up posts are already available!

    1. 3
      tel avatar tel 4 months ago | link

      I call this the “template” pattern and it’s super useful!

      1. 2
        lthms avatar lthms 4 months ago | link

        I found this reading very interesting, and my favourite trick is the HKD type family.