module Checked.X1 (x) where

import Checked.X2