Syrup/SRC/Expt.hs:408:14-56: Non-exhaustive patterns in case

[G. Allais]

Test case built from various examples collected during lab.

one(<Bit>) -> @<Bit>
one(X) = Z where

  Z = dff(Q)
  Q = nand(X,Y)
  Y = Z

two(<Bit>) -> @<Bit>
two(X) = Z where

  Z = dff(Q)
  Q = nand(X,Y)
  Y = dff(Q)

experiment one = two