@edensaesthetic I mean add traits to haskell, add generics to haskell, add a turing-complete type system to haskell, add a compiler and interpreter in your compiler