module Micro::Attributes::With