type family Strict a :: Constraint where ...

class StrictType seen a