The Memoizable.Instance
provides the means to combine
Memoizable instances with other type-classes.
Laws for Memoizable.
Extension methods for Memoizable.
Provides syntax for Memoizable.
The Memoizable.Type
should be inherited in type-classes that
are derived from Memoizable.