Is there a way to 'restrict' elm function f : A -> Maybe B into f0 : ProperA -> B without using Debug.todo?
Constraining Elm Functions Beyond Debug todo Lets explore a common challenge in Elm how to safely restrict the input type of a function while maintaining type s