advent of code

Laziness makes cycle finding easy to express

A*, beam search, and typeclasses

Data is code; code is data