equalTrunc 500 PSE.cosExpl (PS.cos (\0 -> (0,1)) [0,1])
checkHoles 20 (PS.cos (\0 -> (0,1))) 0
cosmosOf :: Fold a a -> Fold a a