79766824

Date: 2025-09-17 02:24:03
Score: 0.5
Natty:
Report link

It is expressible, unsoundly, with a plugin: if-instance.

instance Show GADT where
  show :: GADT -> String
  show (Data @a x) =
    ifSat @(Show a)
      (show a)
      "UNSHOWABLE"
Reasons:
  • Probably link only (1):
  • Low length (1):
  • Has code block (-0.5):
  • High reputation (-1):
Posted by: Iceland_jack