1
Apakah ada representasi van Laarhoven dari `Opsional`
Banyak jenis optik memiliki representasi van Laarhoven. Misalnya, Lenstipe Lens s t a b dapat direpresentasikan sebagai: Functor f => (a -> f b) -> s -> f t Demikian pula a Traversal, dapat direpresentasikan dengan cara yang sama, menukar Functorkendala untuk Applicative: Applicative f => (a -> f b) …