-- Support for property checking
module TProperty where

-- prop> \(l::[Bool]) -> head l