我正在尝试使用diff软件包中的ad Quaternion a -> Quaternion a一个函数Metric a => a -> a，或更普遍quadrance依赖Forward。
我不确定最好的解决方法是什么，因为Metric没有Metric实例，而* -> *类型为diff我是甚至不确定它是否可能（即强制转发的子类型具有Metric实例）。
我想知道如何解决这个问题，我并没有与Metric实例的想法结合，只想在Quaternions上获得任意函数的The routing file "{__PATH__}config/routes/admin.yaml" contains unsupported keys for "admin_home": "controller". Expected one of: "resource", "type", "prefix", "path", "host", "schemes", "methods", "defaults", "requirements", "options", "condition", "ControllerTest"
。