Shared elements for the Focus modules.
maybe() :: {:ok, any} | {:error, any}
optic() :: Lens.t
product() :: map | struct | tuple
sum() :: list
traversable() :: product | sum