chrilves

/*
  This piece of commented code aims to clarify some
  misconceptions between several advanced concepts
  in pure functional programming/category theory:
  free monads, finally tagless approach, algebraic
  effects.

  These concepts are actually very close. They rely
  on similar concepts and even represent the "same"
  object (up to isomorphism!) from the theoretical