package preface

A type 'a t held by the Alt.

Combine two values of 'a t into one.

Mapping over from 'a to 'b over 'a t to 'b t.