module
Type
(
Type
,
TypeError
,
ErrorMessage
(
..
)
)
where
import
Data.Kind
import
GHC.TypeLits