typeName
12345678910
{-# LANGUAGE AllowAmbiguousTypes, TypeApplications, ScopedTypeVariables #-}
import Data.Typeable
typeName :: forall a. Typeable a => String
typeName = show . typeRep $ Proxy @a
type T = Maybe Int
main = putStrLn $ typeName @T
Haskell
INFO