Type.Strict

type family Strict a :: Constraint where ...