path: root/libraries/base/tests/T12874.hs

module Main where

import Data.Proxy

main :: IO ()
main = print (read "Thing Proxy" :: Thing (Proxy Int))

data Thing a = Thing a
  deriving (Read,Show)