An Haskell 98 implementation of the Categorical Abstract Machine