Hi,
I’m finding the Strong methods a bit too restrictive because they’re specialised to functions. I’m wondering why they don’t have the types:
first :: p b c -> p (b, d) (c, d)
second :: p b c -> p (d, b) (d, c)
(***) :: p b c -> p b' c' -> p (b, b’) (c, c’)
(&&&) :: p b c -> p b c' -> p b (c, c’)
Obviously I can roll my own Arrow-style methods but I’m wondering why the PureScript versions are defined as they are. Sorry if I’m missing something obvious…