Checkpoint
Eliminate vector/fin from the Haskell code