data Optimisation
  = PETransform
  | -- | partial eval and associated transforms
    GeneralisedNatHack
  deriving (Show, Eq, Generic)

 | partial eval and associated transforms
data Optimisation
  = PETransform
    GeneralisedNatHack
  deriving (Show, Eq, Generic)
