packages: . constraints: semirings -unordered-containers, quickcheck-classes -aeson -semigroupoids