# naperian-functors

A library for containers of statically known shape and size.

Based on
*Gibbons, J. (2017, April). APLicative programming with Naperian functors. In European Symposium on Programming (pp. 556-583). Springer, Berlin, Heidelberg.*
(https://www.cs.ox.ac.uk/publications/publication10857-abstract.html).

# Similar work

* Aaron Vargo's [naperian](https://hackage.haskell.org/package/naperian)
  library, based atop Edward Kmett's [representable
  functors](https://hackage.haskell.org/package/adjunctions).