:: [a] -> Bool package:hgal