GHC tests
Last modified: Thu Oct 15 18:42:58 MSK 2020