T14646.hs 140 Bytes
Newer Older
1 2 3 4 5 6
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TemplateHaskell #-}
module T14646 where

$([d| f :: (forall a. a) -> Int
      f _ = undefined |])