{-# LANGUAGE GADTs #-}
module T where


數字 :: Int
數字 = 2

(·) = (.)

data X where
    A, B :: X