liquid haskell experimentation as DSL constraint