> Isn't data just _data_? Think of Law around data as using dependent types. The legal protections depend on the type of the data, and the type depends on the

> Isn't data just _data_? Think of Law around data as using dependent types. The legal protections depend on the type of the data, and the type depends on the content (among other things). You have to determine the type BEFORE you can tell what the law says about it, since the law only cares about the type. You could probably encode the law nicely with something like Idris, but any "code as law" type governance system without dependent types won't be able to express existing law.