WAGS.Comonad

separate :: forall a b w. Comonad w => (a -> w Unit -> b) -> w a -> b

combine :: forall a b u w. Comonad w => (w a -> b) -> a -> w u -> b