@article{txa:cie10,
  title={{Higher Order Containers}},
  author={Altenkirch, Thorsten and Levy, Paul and Staton, Sam},
  journal =	 {Computability in Europe},
  year =	 {2010},
}