Proposal: add `Proxy`fied versions of `bitSizeMaybe` and `finiteBitSize`

[Henning Thielemann]

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.