Data.Layer

type family Unlayered l

class Layered l

class IsLayer l

unlayer

class LayeredM m l

unlayerM

withLayeredM

withLayeredM'