On the efficient implementation of combinators as an object for functional programs