You didn’t try Elm :) if you had you would see how much confort you get from the typechecker ! These constraints you talk about are comparable to pain when you touch fire, and you would understand if you tried it.