14 Dec
2017
14 Dec
'17
1:46 p.m.
On Thu, 14 Dec 2017, Simon Peyton Jones via Libraries wrote:
Now that we have visible type application, we could stop using these Proxy arguments, thus
class Bits a where ... bitSizeMaybe' :: Maybe Int
And you invoke it by saying bitSizeMaybe @ T rather than bitSizeMaybe (Proxy :: Proxy T)
Looks like a straight win to me.
I was not aware of this type extension, but I still prefer Haskell 98 / 2010.