ConsK

alleycats

ConsK0

alleycats

comonadIsExtract

Extract

cons

ConsK