org.combinators.cls.types
Type class for syntactic sugar to construct intersection types.
The type constructed so far.
Intersects ty with other.
ty
other
Uses ty as the parameter of an arrow resulting in other.
Type class for syntactic sugar to construct intersection types.