Very often in Elm/Haskell would I write the code first, then let my IDE insert the type annotation. Not always perfect, but often the case.