(return-)typed declarations