 (CanDelete Occupation rs,
                     rs' ~ RDelete Occupation rs,
                     AllCols Num rs', AsVinyl rs')
                 => Record rs -> Record (Occupation ': RDelete Occupation rs)
addTwoOccupation r = frameCons (rget' occupation' r)
                   $ mapMethod [pr|Num|] (+ 2) (rdel [pr|Occupation|] r)

-- #+BEGIN_EXAMPL
addTwoOccupation :: (CanDelete Occupation rs,
                     rs' ~ RDelete Occupation rs,
                     AllCols Num rs', AsVinyl rs')
                 => Record rs -> Record (Occupation ': RDelete Occupation rs)
addTwoOccupation r = frameCons (rget' occupation' r)
                   $ mapMethod [pr|Num|] (+ 2) (rdel [pr|Occupation|] r)
addTwoOccupation r = frameCons (rget' occupation' r)
                   $ mapMethod [pr|Num|] (+ 2) (rdel [pr|Occupation|] r)