COTA - Travel Contract in haskell, tx | ApplyBoost