newtype->type and use lens