3 ms·I did? I have now spent like 20 minutes trying to figure it out. But I still don't get it.by Akronymus 4y agoI did? I have now spent like 20 minutes trying to figure it out. But I still don't get it.macintux 4y agoI'm guessing it has something to do with the keyword "either" and Haskell types, but I'm otherwise clueless. Every time I look at Haskell I run the other way.zesterer 4y agoI think it was "value judgement" (dependent types allow dispatching over a value in the type system)