Up and Down are semimonads