Typed Protocols talk @ Haskell.Love 2021

This talk is a based on a work in progress which is done for IOHK. See coot/typed-protocols-rewrite branch.

If you would like to work on GHC at IOHK please check the job opening.