Data.Geometry.Properties
type family Dimension t :: Nat
type family NumType t :: *
data NoIntersection
type Intersection g h
type family IntersectionOf g h :: [*]
coRec
class IsIntersectableWith g h
type AlwaysTrueIntersection g h
defaultNonEmptyIntersection
type family Union g h :: *
class IsUnionableWith g h