我有一个模板函数（通用FUNC找到最低），这看起来的那样： template<class T, class Func>
int findmin(const T* a, int n, Func less){
//...
}
和呼叫： int smallest_matrix(const Matrix*a, int n){
return findmin(a,n,less_ma
简单的情况下，int是一个真正的数字。 林创建通用class test<T> ，我想试验T，看是否其从数（或num在飞镖的情况下）继承。 基于对象，Object > num > int在文档中，所以起初我在想：T is num将工作，如果T是int。测试int is num显示错误。必须有另一个关键字，我需要使用它来代替is来确定它是否是特定班级的孩子。 我试图设置它，以便如果T是num的孩子，它
我可以很容易地得到一个Traversal存储在叶项： data Tree a = Br (Tree a) (Tree a) | Lf a
deriving (Data)
instance Plated (Tree a) where
makePrisms ''Tree
leaves :: Traversal' (Tree a) a
leaves = deep _Lf
但d