Flatten the manipulation example table tuple so it's less confusing.
Remove unneeded type sigs
Restrict type class contexts for better resolution