Added decomposeRift, the Monad/Category instance for Rift p p in the category of Hask-Profunctors and theta