Kernel is now a subclass of Lambda