Parallel Transport in Haskell