Re: [Haskell-cafe] Closed classes

18 Feb 2016

      Hi.

For consistency reasons, I'd love to write the following, possibly even
omiting the closed keyword.
...
{-# LANGUAGE ClosedClasses #-}
closed class Closed a b where
  fun :: a -> b -> Int
  instance Closed Int y where fun x _ = x
  instance Closed x Int where fun _ y = y
  instance Closed x y where fun _ _ = 0
I guess, that's already bikeshedding.

Cheers,
 Tobias Florek