Started with type checking