add post: the reason scala has a bottom type