comonadCantorRule :: Layer Segments -> Segments
comonadCantorRule layer = --concatMap cantorRule . extract
    let segments = extract layer
    in concatMap cantorRule segments
comonadCantorRule :: Layer Segments -> Segments
comonadCantorRule layer = --concatMap cantorRule . extract
    let segments = extract layer
    in concatMap cantorRule segments
comonadCantorRule layer = --concatMap cantorRule . extract
    let segments = extract layer
    in concatMap cantorRule segments