3 ms·i agree: some type systems help is useful, but not a ton of type system wizardry.by recursivedoubts 4y agoi agree: some type systems help is useful, but not a ton of type system wizardry.