Rigid types and block arguments

A lot of users have requested an annual Type Classes subscription (previously we only supported monthly billing), so we’ve added that option. Now when you subscribe, you have a choice of plan: Either $29/month or $300/year.You save $48 a year with an annual subscription. If you already have a subscription and want to change your existing plan to a different billing frequency, we don’t have a web form for that yet, but send us an email and we’ll help you out.

We’ve also added a discounted price based on your country; you can read more about that on the discounted subscription prices page. If you’re in one of the countries listed, choose one of the discounted rates when you subscribe. When you submit your payment information, we automatically verify eligibility based on the country associated with the card you entered.Check out our previous news update if you’re curious about the Haskell code we use to integrate with Stripe. We’re probably missing a few countries; if your country isn’t on the list and ought to be, please let us know.

New pages:

  • Rigid type variables – Understanding that phrase that shows up in your compile errors can help you learn more about the type system.
  • BlockArguments, the fun newBlockArguments is new in GHC 8.6.1! GHC extension stealing everyone’s dollars.


The next lessons for Web servers, Functortown, and Timepieces are in progress. Updates in the coming few weeks may be lighter due to the holidays and because Chris and Julie are moving from Georgia to Montana.