Haskell reimagining of the jr engine