Simple test module

This module contains a simple gen example:

genN : Gen NonEmpty Nat
genN = elements [0, 1]