haskell bindings to the CasADi algorithmic differentiation and optimal control library