-- Support for property checking
module TProperty where

-- prop> \(l::[Bool]) -> head l
-- *** Failed! Exception: 'Prelude.head: empty list' (after 1 test):
-- []