Haskell-在新数据类型中限制变量类型

Question

我正在学习haskell，并且在Haskell中有一个像这样的简单班级：

class Point p where 
   ....
   -- some functions
   ....

，我想创建只包含Point实例的任何数据的Tree。我想要这样的东西：

data Kd2nTree a = Empty | Node a (Kd2nTree a) (Kd2nTree a)

所以'a'只能是我的Point类的实例。

我该怎么做？

谢谢！