У нас есть оператор ?~ в объективе.Мы можем сделать a & b . c ?~ d, если _c - это поле типа b.Что мне следует использовать, если b имеет тип Maybe (type of _c)?
?~
a & b . c ?~ d
_c
b
Maybe (type of _c)
Возможно что-то вроде:
[Just (Just 1, 'a')] & _head . _Just . _1 ?~ 2