Yes, it's a type alias, and most of these convenience type aliases—including @>
, but also things like Reader
, State
, and even Lens
itself, which is a type alias for LensFamily[...]
—live in the scalaz
package object in core/src/main/scala/scalaz/package.scala
.
The fact that A @> B
is used in some places and Lens[A, B]
in others is almost certainly just the result of historical accident and the preferences of particular authors.