Segfault when showing (undefined :: Type)

This comment made me wonder about the relationship between Void and Type, id :: Void -> Void and id :: Type -> Type:

#11311 (closed)?replyto=3##11442 (closed)

{-# LANGUAGE TypeSynonymInstances, FlexibleInstances #-

import Data.Kind (Type)

instance Show Type where
  show _ = "..."

main = print (undefined :: Type)

running gives:

$ runghc --version
runghc 8.1.20160113
$ runghc -ignore-dot-ghci Segfault.hs 
Segmentation fault (core dumped)

Verbose log attached.