Bernd Worsch 58cad31042 fix(WP-0017/E1): Layer 2 + Sessions fixes ...

- CrossHubPropagation: IHP.Prelude.head returns Maybe a; use List.head
  (Data.List.head, already imported qualified) for non-empty-guarded lists
- Sessions: currentUserOrNothing is pure Maybe, not IO; use case...of instead of >>=

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

2026-04-11 08:37:04 +00:00

1.1 KiB

Raw Blame History

View Raw