Fix hessian, hessianProduct and hessianProduct' and add a doctest to try to prevent it in the future
Merge pull request #17 from alang9/master

I broke hessian =(
Get rid of Lifted typeclass by introducing Domain type family

hessianF previously only required Num a, but now requires Floating a
conjugateGradientDescent and conjugateGradientAscent previously only required Fractional a but now requires Floating a
Merge branch 'monomorphize' of https://github.com/alang9/ad
major version bump
CHANGELOG entry for @alang9's refactoring
{Domain => Scalar}
First non-AD-based AD mode: Forward
Reverse mode
Use derived Typeable/Data when possible

This is possible as of GHC 7.7.
benchmark: Calculate BSM greeks
Flip the type parameters for Forward
Flip the type parameters of Reverse
AD s (Kahn a) => Kahn a s
AD s (Sparse a) => Sparse a s
AD s (Tower a) => Tower a s
AD s (Dense f a) => Dense f a s
Comment out the old deriveNumeric
AD s (ComposeMode f g s' a) => ComposeMode f g a s s'
Uncomment hessians and hessianFs now that we have translated ComposeMode