Propellor.Types.Singletons
data family
Sing
x
class
SingI
t
class
SingKind
kparam
data
KProxy
t