Struggling to write Dissecting Guix, Part 2

["(" <paren@disroot.org>]

[-- Attachment #1: Type: text/plain, Size: 647 bytes --]

Hello Guix,

I've been struggling to write Part 2 of Dissecting Guix; I'm just not sure where to start to
explain monads.

It's hard for a variety of reasons, those being that:

  - Guile has no type system, so you can't express monads in terms of types
  - Guix doesn't implement very many monads (only state, identity, and store), so it's
    difficult to explain with a simpler monad, as there are no simpler monads
  - Guix doesn't have functors or monoids either, so it's hard to "progressively" explain
    first functors, then monoids, then monads
  - Monads are just difficult in general :P

Any suggestions? :/

    -- (

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 659 bytes --]