functor
define
   skip
end