3 ms·Yes. The type system in Haskell is leading edge. As in "advanced".by mbrodersen 12y agoYes. The type system in Haskell is leading edge. As in "advanced".