Propellor.Types.Singletons

data family Sing x

class SingI t

class SingKind kparam

data KProxy t