(use-modules (guix profiles)
(gnu packages idris)
(gnu packages emacs-xyz))
(packages->manifest
(list idris
idris-lightyear
idris-bifunctors
idris-lens))