Compile-time interfaces