No more default type branches, this functionality should be implemented via type classes
Named tuple type added