path: root/testsuite/tests/patsyn/should_run/ghci.script

:set -XPatternSynonyms

pattern Single x = [x]
:i Single
let foo (Single x) = Single (not x)
:t foo
foo [True]
foo [True, False]