Add regression test for #15918
The test case in #15918 (closed) no longer triggers an ASSERT
failure on
GHC HEAD, likely due to commit
68278382 (Make a smart mkAppTyM
).
This patch adds a regression test for #15918 (closed) to finally put it to
rest.