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

module ByHand where

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