package preface

The type held by the Selective.

select e f apply f if e is Left. It allow to skip effect using Right.

Create a new 'a t.