Data.Layer.Coat

data Coat a

type family Uncoated a

class Coated a

uncoat

class CoatedM m a

class CoatConstructor m a