module Unit where
unit = ()