data Shade x
data Shade' x
class IsShade shade
class Refinable y
data ShadeTree x
type SimpleTree
type Trees
type NonEmptyTree
data GenericTree c b x
class HasFlatView f
data WithAny x y
type Shaded x y
type DifferentialEqn x y
type TriangBuild t n x
data AutoTriang n x