Currently Shrunk type is not exported, and neither is mkFun (both are defined in Test.QuickCheck.Function), so the only hack to create something of the Fun type is to:
do
Fun (_, _, notShrunk) _ <- arbitrary :: Gen (Fun a Bool)
let fun = Fun (function (const False), False, notShrunked) (const False))
Currently
Shrunktype is not exported, and neither ismkFun(both are defined inTest.QuickCheck.Function), so the only hack to create something of theFuntype is to:Which is rather cumbersome.