Syntax Sugar of inline refinement module