Conversation

This Tweet is unavailable. Learn more

Brian McKenna

@puffnfresh

Feb 24, 2018

isEmpty :: Ord a => Set a -> Bool -- this type sucks

Darren G

@Kludgy

Feb 24, 2018

Does it? I'd argue that `isEmpty :: Set a -> Bool` admits nonsensical method instances, since the actual type we mean is (Ord a => Set a). IDK if this imprecision is going to cause trouble somewhere down the line, and therefore I wish the Set datatype could carry the constraint.