Some initial implemenations for compile-time checks