Gibt es eine van Laarhoven-Darstellung von "Optional"?

Viele Arten von Optiken haben eine Van-Laarhoven-Darstellung. Beispielsweise kann ein LensTyp Lens s t a b wie folgt dargestellt werden: Functor f => (a -> f b) -> s -> f t In Traversalähnlicher Weise kann a auf ähnliche Weise dargestellt werden, wobei die FunctorEinschränkung...