Ok I expressed it wrong. I am just trying to embed a legal DSL it in Haskell and get the type system to help building type-safe contracts - same as embedding th

Ok I expressed it wrong. I am just trying to embed a legal DSL it in Haskell and get the type system to help building type-safe contracts - same as embedding the STLC in GADTs