<div> is html while div[] is elm code. Are you asking why not support html in the elm code? IMO its much much nicer to just program the DOM in elm than translate between elm and html. Also, I type my code any old way such as { counter: Int }. When I save elm-format reformats automatically.