3 ms·Nothing, but arguably a language with dependent types is more Haskell than Haskellby agnishom 2y agoNothing, but arguably a language with dependent types is more Haskell than Haskell