Profunctor: some updates
Data.Sum: twist