The treatment of kinds in the tutorial is out of date. It does not mention the const kind, and the subkinding relationship has changed too.