Missing lambda-cube instances added