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