Homotopy Type Theory (HoTT) for Haskell