teach prettyKind about boxity