Sentence is now instance of Functor, Foldable