package preface

The type held by the Selective.

branch is like select. It chooses between two effects.

Create a new 'a t.