import Data.Monoid

resolve :: Sum Int
resolve = [wingman| use (<>) |]