r1 `difference` r2 = r1 `Intersect` (Complement r2)

annulus :: Radius -> Radius -> Region
annulus rinner router = Shape (circle router) `difference` Shape (circle rinner)