Thinking with Types. Type-Level Programming in Haskell

Loading data will connect to Inventaire and check for any metadata about this book which aren't present here. Existing metadata will not be overwritten.