Haskellでデータコンストラクタのシグニチャを取得する方法

Question

{- Define an employee type -} 
data Employee = Engineer {name :: String, engineerId :: String} 
       | Manager {name :: String, managerId :: Integer} 
       | Director {name :: String, directorId :: Integer} 
       deriving Show 

私は以下のように可変エンジニア1を定義しました。

*Main> let engineer1 = Engineer "Hari" "123" 

私はengineer1のタイプを照会すると「engineer1 :: Employee」のようになります。エンジニアはデータコンストラクタです。従業員は対応する型コンストラクタです。私の質問は、 "Engineeer String String" :: Employeeのようなデータコンストラクタのシグネチャを得ることができる方法があるかどうかです。

Answer 1

次のような機能を作成することができます。 "

*Main> showType (Manager 12 "a") 
"Manager Integer [Char]" 

*Main> showType (Manager [56] 12) 
"Manager [Integer] Integer" 

*Main> let x = Engineer 12 5 :: (Employee Int Int) 
*Main> showType x 
"Engineer Int Int" 

Answer 2

*Main> :t Engineer 
Engineer :: String -> String -> Employee 

Employeeは、データコンストラクタではないタイプであることに注意してください。