Sugar.Types: Manual instance of Monoid, data-derive has superfluous constraints. SetToHole/SetToInnerExpr TH calls moved to where the rest are