(sect-literate-sample)= # Simple test module This module contains a simple gen example: ```idris genN : Gen NonEmpty Nat genN = elements [0, 1] ```