Sometimes, I find I need to revisit some type signatures after I've begun to write code. And this can lead to my code not type checking for longer than I'd like

Sometimes, I find I need to revisit some type signatures after I've begun to write code. And this can lead to my code not type checking for longer than I'd like. But I can still run my tests if I defer type errors to runtime (they still appear at compile time but as warnings). See (Deferring Type Errors to Runtime)[https://downloads.haskell.org/~ghc/9.4.4/docs/users_guide/exts/defer_type_errors.html https://downloads.haskell.org/~ghc/9.4.4/docs/users_guide/ex...]