Nice post.

For ContainsPt, though, I think you want:

circle r                   = ContainsPt (\(Point x y) ->
                             x * x + y * y <= r * r)

Dean Herington (dherington@acm.org)

Oops! Fixed. Thanks!