Propellor.Types.Singletons
data family Sing (x :: k)
class SingI t
class SingKind kparam
data KProxy t