Try making a functor instead of a ground term.