map -package:Cabal -package:base -package:text -package:dlist -package:aeson -package:ghc -package:bytestring is:module -package:Agda package:dhall

Map type used to represent records and unions