If this rebindable syntax is about what I think it is, that would seem strange. bool is the Bool eliminator. It would seem weird to give it a type like, say,

bool :: Monad m => m a -> m a -> m Bool -> m a