Почему haskell вынуждает всегда вводить общие типы?

Question

Допустим, мы имеем:

data Data a b c = Build (a,b,c) deriving Show 

foo :: Data a b c -> Data a b c 
foo d = d 

main = print $ foo $ Build (1, 1, "a") 

Есть ли способ избежать написания a b c для каждого использования типа данных?

Использование типа, что-то вроде:

foo :: Data -> Data 
foo d = d 

Answer 1

Да, конечно:

foo :: d ~ Data a b c => d -> d 

Answer 2

Поскольку Data не тип, а конструктор типа. Если вы предпочитаете функцию, которая принимает 3 типа и возвращает новый тип. Конструкторы типов могут также и другие типы конструкторов типов, как, например аргумент

data D d a= D (d a a a) 

Затем я могу использовать свой Data (без аргументов) D Data a ...

Псевдонимы

Answer 3

data Data a b c = Build (a,b,c) deriving Show 
type D a t a' = Data a t a' 

foo :: D a t a' -> D a t a' 
foo d = d 

весело, но это не следует рассматривать как серьезный ответ.

Edit: серьезная версия, если вы знаете, общий тип мономорфический тогда псевдонимы становятся полезными:

type AppData = Data AppState AppValue AppResult 
foo :: AppData -> AppData 
... 

Answer 4

Вы можете обернуть полиморфный тип в type синонима.

{-# LANGUAGE RankNTypes #-} 
{-# LANGUAGE TypeOperators #-} 

type d ~> d' = forall a b c. d a b c -> d' a b c 

foo :: Data ~> Data 
foo d = d 

Возможно, проще просто написать переменные типа.