currently writting decode Monoid -> Group