module Data.Impossible.Compact where import Data.Impossible type I = Impossible type IM = ImpossibleM