3 ms·To be clear, Haskell "has dependent types" to various degrees as well.by tel 11y agoTo be clear, Haskell "has dependent types" to various degrees as well.