Data.Construction

type family Destructed a

class Constructor m a

class Destructor m a

class Producer m a

class Consumer m a

class Maker m a

class Destroyer m a