echidna
echidna copied to clipboard
Use `Seq` for stack