module
Generics.SOP.Sing
(
module
Data.SOP.Sing
)
where
import
Data.SOP.Sing