haskell - 如何在Haskell中编写参数和结果都是多态的函数

Question

如何编写像 int gog(float i) 和 float gog(int i) 这样的函数(通常称为“重载”)？一些简单的重载可以通过以下方式实现

class PP a where
  gog :: a -> Int

instance PP Bool where
  gog _ = 1

instance PP Char where
  gog _ = 1

但是上面的例子只是使参数具有多态性。如果我们想让参数和结果都多态，我们必须这样写:

class PP a where
  gog :: Uu b => a -> b

class UU a where
  -- This function can convert between different types of UU.
  fromUuToUu :: UU b => a -> b 

如果没有fromUuToUu，gog结果的多态性是不可能的。但我不能写 fromUuToUu，这与这个问题的主题相关，即如何制作一个参数和结果都是多态的函数。

Answer 1

{-# LANGUAGE MultiParamTypeClasses, TypeSynonymInstances, FlexibleInstances #-}

class Poly a b where
  gog :: a -> b

instance Poly Int String where
  gog = show

instance Poly String Int where
  gog = read

instance Poly Int Float where
  gog = fromIntegral

instance Poly Float Float where
  gog = (*) 2

gog 现在是“完全”多态的。