4 ms·After using types in Idris, types in Haskell feel like a step backwards...by weavie 10y agoAfter using types in Idris, types in Haskell feel like a step backwards...bbcbasic 10y agoA nice poset developing here.