created monoid and folable