úΡ¯ Safe-Inferred13JK#A type class for uninhabited types  Synonym for 1, used to check if a pattern match is exhaustive  Synonym for A, used to provide a default if a pattern match is inexhaustive Pattern match on a  +Operator for post-fix function application          total-1.0.3Lens.Family.Total Lens.Family Traversalvoid-0.7 Data.VoidVoidEmpty impossible_case_defaulton&baseGHC.BaseconstGEmpty gimpossible $fGEmpty:*: $fGEmptyM1 $fGEmptyK1 $fGEmpty:+: $fGEmptyV1 $fEmpty(,) $fEmptyEither $fEmptyVoid