if a then () else ()