Initial look at copatterns in agda and miniagda.