Propellor.Types.Singletons

data family Sing (x :: k)

class SingI t

class SingKind kparam

data KProxy t