fun type(body: TypeScope.() -> Unit)