{-# LANGUAGE TypeOperators #-}
import Data.Manifold.TreeCover
import Data.Manifold.Types

import Graphics.Dynamic.Plot.R2

tf :: ℝ`Shaded`ℝ
tf = spanShading (\_ -> 1:±[1]) $ fromLeafPoints [0, 0.1 .. 10]

plotWindow [plot tf, plot [completeTopShading tfl | ((_,tfl),_)<-twigsWithEnvirons tf] ]