Fix a bug with showable functions---no need to use discard when shrinking because the spine of a:->b is never _|_.
Fix a bug with showable functions---no need to use discard
when shrinking because the spine of a:->b is never _|_.

Warbo/quickcheck,soenkehahn/quickcheck,srhb/quickcheck,nh2/quickcheck,beni55/quickcheck