Maybe/default.kind