using and refine
include Enumerable