prologue-3.2.3: Better, more general Prelude exporting common utilities.
Prologue.Data.Default
type family Defaults lst :: Constraint where ... Source #
Equations