Made collapsible into a single function.  Too bad that function requires Signal to be a Monad :-(