A bit more of stricter type checking