type family Strict (d :: *) :: Constraint where ...