Blog posts

Monadicity
from algebras to monads and back to algebrasPublished 9 VII 2018Introduction to the monadicity theory based on freealgebras Haskell package.

Free algebras
haddock documentation 
From free algebras to free monads
Publishded 30 VII 2018The post was republished on iohk blog.
Introduction to Universal Algebra, a mathematical discipline that is hidden under many constructions in Haskell ecosystem. It is more concrete than Category Theory, and hence often easier to understand. It is also a very useful source of examples in Category Theory.

Composing cofree intepreters
Published: 30 VIII 2018My talk at Monadic Warsaw Haskell meetup on PureScript type system and composition of cofree comonads.

Workshop on Category Theory
Published: 12 VI 2018Workshop I gave at Monadic Party. Unfortunatelly, first 30 minutes of the recording was lost...

Routing with cofree comonad
Published: 14 X 2017My talk at PureScript Conf 2017 (a satelite event of Lambda Conf 2017) about routing frontend applications using coffree comonad and modelling DOM with
Coffree []
. 
Peano Algebras in Haskell
Published: 2017Fun with Peano axioms in Haskell.
Link to freealgebra
package on hackage.