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