Set Implicit Arguments.

Require Import Bool List String.