types should be in `{}`