shrinkOpenAcc :: OpenAcc aenv a -> OpenAcc aenv a
shrinkOpenAcc (OpenAcc pacc) =
  OpenAcc (shrinkA rebuildOpenAcc shrinkOpenAcc usesOfOpenAcc pacc)
shrinkOpenAcc :: OpenAcc aenv a -> OpenAcc aenv a
shrinkOpenAcc (OpenAcc pacc) =
  OpenAcc (shrinkA rebuildOpenAcc shrinkOpenAcc usesOfOpenAcc pacc)
shrinkOpenAcc (OpenAcc pacc) =
  OpenAcc (shrinkA rebuildOpenAcc shrinkOpenAcc usesOfOpenAcc pacc)