stronger type for compiler to detect errors