1import Data.Monoid
2
3resolve :: Sum Int
4resolve = _w0 <> _w1
5