import Data.Monoid

resolve :: Sum Int
resolve = _w0 <> _w1