A BML (Bytecode Modelling Language) library in Haskell