Clean up the haddocks for trunc by moving some type constraints to an instance