This file is part of the code accompanying the paper `Fun with type functions' Joint work with Simon Peyton Jones and Chung-chieh Shan See the paper for explanations.
This file is part of the code accompanying the paper `Fun with type functions' Joint work with Simon Peyton Jones and Chung-chieh Shan See the paper for explanations.