4 ms·Or, use a sufficiently well designed type-checking compiler, like GHC.by yakshaving_jgt 2y agoOr, use a sufficiently well designed type-checking compiler, like GHC.