ghc-exactprint-1.14.1.0: tests/examples/ghc910/ByHand.hs

module ByHand where

instance SDecide Nat where
  SZero %~ (SSucc _) = Disproved (\case)