Re: [GHC] #3583: Default view patterns