On slide 18 you give an example for “Types aren’t enough though” with “Type T should be represented with 7 bits”. What would you do in this instance to make that happen aside from modifying GHC directly? The next slides go on to talk about other ways of performing verification but none of them seem to apply to the example given.

Just wondering!