Data.Layer

type family Unlayered l

class Layered l

class TransLayered l l'

class IsLayer l

unlayer

class LayeredM m l

unlayerM

withLayeredM

withLayeredM'

class LayerConstructor m l