testsuite/tests/printer/Test21355.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE GADTs #-}
{-# LANGUAGE TemplateHaskell #-}
module Test21355 where

emptyBK = [d| {} |]

data GitHubSignedReqBody''
  (proxy :: KProxy k)
  (key :: k)
  (list :: [Type])
  (result :: Type) where