Use substitution patterns instead of combinators.  Now it's 2.5 times faster.