packaged Agda hakyll interaction