module RecDataConCPRa where

import RecDataConCPR

data BootNonRec2 = BootNonRec2
data BootRec2 = BootRec2 BootRec1