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.