// I want this to compile
pub trait State {
  type Message;
  fn render(&self) -> Markup;
  fn next_state(self, &Self::Message) -> Box<State>;
}