Redundant provide in define-geiser-implementation