inlineBaseS env stack ty@(TcCon tc _ targs)
  = inlineBaseS' env stack tc targs
inlineBaseS env stack ty@(TcCon tc _ targs)
  = inlineBaseS' env stack tc targs
inlineBaseS env stack ty@(TcCon tc _ targs)
  = inlineBaseS' env stack tc targs