syntactic sugar for extracted Haskell code