{-# LANGUAGE TypeOperators #-}
import Data.Manifold.TreeCover
import Data.Manifold.Types
From dynamic-plot:
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] ]
GraphWindowSpecR2{lBound=-1.6666666666666754, rBound=11.66666666666673, bBound=-0.33333333333333326, tBound=2.3333333333333335, xResolution=640, yResolution=480}