3 ms·what does that have to do with purity?by Tainnor 2y agowhat does that have to do with purity?agnishom 2y agoNothing, but arguably a language with dependent types is more Haskell than Haskell