trait A {}

impl A for () {}