在Haskell中，我希望建立一个像：
这样的关联-- Given types A, B, C, and X, Y, Z,
-- make some sort of manual association :
f A = X
f B = Y
f C = Z
-- Intended use (for example)
g :: a -> ... -> f a
我认为它应该是* -> *，它可以是某些构造函数，但我不知道如何手动建立关联......
那么，你如何创建一个类型的函数，即你给出一个类型的函数，结果是另一种类型？