module Demo where

a = ()