But that’s why we have Haskell, as a little holiday resort for type theorists to get their fix in while not affecting working programmers too much. Looks like t

But that’s why we have Haskell, as a little holiday resort for type theorists to get their fix in while not affecting working programmers too much. Looks like they’re trying to escape again.