[mjburgess]

Read "implementation" differently.

I was using it in the sense that Daml is "a haskell", in the way that Ocaml is an ML, etc.