Worked in the GHC-specific Strafunski combinators as worked out by @jkoppel