Benjamin Esham

Haskell salesman: *slaps roof of Traversable t => t a* the typeclass doesn’t give you any a priori guarantees of how many a you can fit in this bad boy