> This is very dense code, and takes some getting-used-to in order to read. I don't think so. It is full of syntactic noise, for what is really just notation f

> This is very dense code, and takes some getting-used-to in order to read. I don't think so. It is full of syntactic noise, for what is really just notation for building a cyclic structure. * type annotations stated explicitly, not inferred * type variables given multiple times * too much non-verb, non-noun syntax e.g. `#:::` * and the actual construction of the cycle is stated imperatively with great ceremony (despite it being an applicative) It is the opposite of dense.