type a = ()
type b = (bool)
type c = (bool, usize)