#11 FP, Monads, GHC, and beyond - Alejandro Serrano | Type Theory Forall | Podwise