Flavio Corpa kutyel

## Optics.hs
{-# LANGUAGE RankNTypes #-}
module Optics where

import           Control.Category ((>>>))
import qualified Control.Category as Cat
import           Control.Effect.Empty
import           Control.Effect.NonDet hiding (empty)
import           Control.Monad ((<=<))

-- riffing off of @serras’s post https://gist.github.com/serras/5152ec18ec5223b676cc67cac0e99b70
	{-# LANGUAGE RankNTypes #-}
	module Optics where

	import Control.Category ((>>>))
	import qualified Control.Category as Cat
	import Control.Effect.Empty
	import Control.Effect.NonDet hiding (empty)
	import Control.Monad ((<=<))

	-- riffing off of @serras’s post https://gist.github.com/serras/5152ec18ec5223b676cc67cac0e99b70