Init: explore nullary type values
Init: mastered this example