kind constraints example