autolift
Type class supporting a nested stack of type constructors can behave as an instance of a single Applicative and thus apply a function over them.
The type stacks
The function to be applicatively applied.
Type class supporting a nested stack of type constructors can behave as an instance of a single Applicative and thus apply a function over them.
The type stacks
The function to be applicatively applied.