Agda.Utils.Impossible
data
Impossible
throwImpossible
catchImpossible