Recibo un error que no es Constraint en su alcance, cuando trato de escribir un ejemplo sencillo, {-# LANGUAGE UndecidableInstances,
MultiParamTypeClasses,
KindSignatures,
Rank2Ty
Estoy teniendo poco éxito en mi trabajo con la fontanería básica de los tipos implicados en el paquete ad. Por ejemplo, la siguiente funciona perfectamente: import Numeric.AD
ex :: Num a => [a] -> a