ユニット型

module unit-type where

data Unit : Set where
  unit : Unit