haskell-tools-builtin-refactorings-1.0.0.0: examples/Pattern/NestedWildcard.hs

{-# LANGUAGE NamedFieldPuns, RecordWildCards #-}
module Pattern.NestedWildcard where

data A = A { b :: B, ai :: Int }
data B = B { bi :: Int }

h A { b = B {..}, .. } = bi + ai