Haskell combinators for Visser's System S