Descriptive
consume
describe
runConsumer
runDescription
data Description a
data Bound
data Consumer s d m a
data Result e a
consumer
wrap