Strictify and unpack a few types