Add typed versions of combinators.