ghc-exactprint-1.9.0.0: tests/examples/pre-ghc910/LinearTypeable.hs

{-# LANGUAGE LinearTypes, TypeOperators #-}
module Main (main) where

import Data.Typeable
import Data.Maybe

x :: Maybe ((Int -> Int) :~: (Int #-> Int))
x = eqT

main = print (isJust x)