[Haskell-cafe] Can I have a typeclass for topological spaces?

Back to the list