Some limits of MTL with records of functions

This is part of a series on alternatives to MTL for application design:

  1. Local Capabilities with MTL
  2. Some limits of MTL with records of functions (this article)
  3. Records of Functions and Implicit Parameters
5 Likes