Mention modules with mutually recursive types in "1 module for 1 thing"

[Tim-ats-d]

I think that adding a mention of mutually recursive types encapsuled in their own module as described in this blogpost in the "1 Module for 1 Thing" article
can be useful as this is a rather common case.

What do you think about this?