P4S (Explicit)

Kant foldd (Explicit)