package preface

Building a Preface_specs.Free_monad

Using the minimal definition

Over a Functor

Build a Preface_specs.FREE_MONAD over a Preface_specs.FUNCTOR.

Over an Applicative

Build a Preface_specs.FREE_MONAD over a Preface_specs.APPLICATIVE.

Over a Selective

Build a Preface_specs.FREE_MONAD over a Preface_specs.SELECTIVE.

Over a Monad

Build a Preface_specs.FREE_MONAD over a Preface_specs.MONAD.