package preface

The type held by the Monad.

Create a new 'a t.

bind f m passes the result of computation m to function f.