new draft of haskell circuits