of closed type