在Haskell中,如果我想要一个类似二叉树的东西,我会使用一个代数数据类型。data BinTree a b = EmptyBinTree | BinTree a (Maybe b) (BinTree a) (BinTree a)(defun make-bin-tree &optional (left-child :empty-bin-tree)
&
如果这是一个愚蠢的问题,请原谅我,但是是否有一个代表所有功能的类型?也许在这个方法上做一些类似的反射,来打印一些关于这个的元数据呢?In the first argument of `Thing', namely `(\ x -> 1)'这是有意义的,因为没有show的t0 -> a0实例,但我不知道如何描述这个类型的实例?