module
GHC.TypeNats
(
module
Exports
)
where
import
"base"
GHC.TypeNats
as
Exports