module NotAllCtors
  ( module Prelude )
  where

import Prelude (Boolean2(True))