Data.Layer.Cover

data Cover a

type family Uncovered a

class Covered a

uncover

class CoveredM m a

class CoverConstructor m a

class CoverConstructorFix m a