VERSO (Explicit)

Prelude_map (Explicit)