Music.Theory.Xenakis.Sieve
type I
data Sieve
union
intersection
(∪)
(∩)
l
(⋄)
normalise
is_normal
element
build
buildn
differentiate
euclid
de_meziriac
reduce_intersection
reduce