defmodule Focus.Types do
  @moduledoc """
  Shared elements for the Focus modules.
  """
  @type product :: map | struct | tuple
  @type sum :: list
  @type traversable :: product | sum
  @type maybe :: {:ok, any} | {:error, any}
  @type optic :: Lens.t()
end