"Maybe does derive Eq but then Nothing == Nothing is True which we don't want." WHAT HAVE WE DONE?!?!?!
-
-
@dibblego to make it obvious for@chadfowler λ> :t (==) (==) :: Eq a => a -> a -> Bool you can't ask (==) about different types. a is a. -
@bitemyapp@dibblego FWIW I wasn't confused about that. It was just a funny sounding conversation :)
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.