Attempt to use type families and constraints to replace stencils.
Results of the meeting on Friday 22nd of Feb.