我正在尝试diff从ad包中使用函数Quaternion a -> Quaternion a或更普遍地Metric a => a -> a依赖quadrance.
我不确定解决此问题的最佳方法是什么，因为Forward没有 Metric 实例并且使用Metric' 类型，因为* -> *我什至不确定它是否可能（即强制 Forward 的子类型具有 Metric 实例） .
我想知道如何解决这个问题，我并没有接受 Metric 实例的想法，只是想获得diff四元数上的任意函数。