unison/unison-src/transcripts/bug-fix-4354.md
2023-10-31 16:09:41 -04:00

147 B

.> builtins.merge
bonk : forall a. a -> a
bonk x =
  zonk : forall a. a -> a
  zonk z = z
  honk : a
  honk = x
  x