# 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.