4 ms·It doesn't have great support for Dependent Typesby agnishom 2y agoIt doesn't have great support for Dependent TypesTainnor 2y agowhat does that have to do with purity?agnishom 2y agoNothing, but arguably a language with dependent types is more Haskell than Haskell