PropCheck.BasicTypes.boolean

You're seeing just the function boolean, go back to PropCheck.BasicTypes module for more information.

Specs

boolean() :: type()

The atoms true and false. Instances shrink towards false.