In the dependencies for criterion-1.5.13.0:
    aeson dependency cycle detected: aeson, criterion, base16-bytestring, aeson, Agda
needed since criterion is a build target.

In the dependencies for criterion-measurement-0.1.3.0:
    aeson dependency cycle detected: aeson, criterion, base16-bytestring, aeson, Agda
needed since criterion-measurement is a build target.

In the dependencies for microstache-1.0.2:
    aeson dependency cycle detected: aeson, criterion, base16-bytestring, aeson, Agda
needed since microstache is a build target.

In the dependencies for statistics-0.16.0.1:
    aeson dependency cycle detected: aeson, criterion, base16-bytestring, aeson, Agda
needed since statistics is a build target.