NF data type to statically enforce normal form - View it on GitHub