Data.Impossible.Compact

type I

type IM