T2T in Patterns (#23739)
This patch implements the pattern-to-type-pattern transformation (#23739), which allows to omit the type
keyword in patterns
sizeOfVis :: forall a -> Storable a => Int
- sizeOfVis (type t) = sizeOf (undefined :: t)
+ sizeOfVis t = sizeOf (undefined :: t)