impossible-1.0.0: Set of data and type definitions of impossible types. Impossible types are useful when declaring type classes / type families instances that should not be expanded by GHC until a specific type is provided in order to keep the types nice and readable.

Safe Haskell	None
Language	Haskell2010

Data.Impossible.Compact

Documentation

type I = Impossible Source

type IM = ImpossibleM Source