Add spec for the deep combinator