:: [a] -> Bool package:bound

A closed term has no free variables.
>>> isClosed []
True
>>> isClosed [1,2,3]
False