Haskell translation

• Description has been updated with a language-specific block describing the input/output types.

Description is a bit scuffed. "Choose a collective solution" is one of the most dystopian ways I've heard an election be referred to in a while.

• minimum and maximum number of dimensions is unspecified. this may be important because for dimensions <= 3, certain optimisations are possible ( maximum is 10, so we need not bother ). there is no technical reason to start at 1 either; 0 is a perfectly good number of dimensions.
• input lists are never empty. there is no technical reason for this; 0 is a perfectly good number of tuples.
• input should really be a set instead of a list ( or maybe a multiset ). if the output is a set, the kata can't claim it tries to keep things simple. points are not in any way ordered.
• it would be nice to state required performance characteristics. yes, even when there really aren't any performance requirements.