ziggurat: more explicit kind