"Functional Differential Geometry" by Sussman and Wisdom, adapted to Haskell