Greetings from a lazy dev! Html.Lazy has lazy[1-8], and I see that elm-ui uses some of it for internal stuff, but I can't see why it should stop with lazy5 – that it should be easy to add lazy6 as well.