Rigid type variables

Contents
Tags
variables types quantification GHC error messages

Coming soon.