Agda.Utils.Impossible

data Impossible

throwImpossible

catchImpossible