Switch to using compose from Coq.Program.Basics