type Const a _ = a