Numeric.Coalgebra.Incidence

data Interval' a

zeta'

moebius'