在 Haskell 函数中使用参数化数据类型的类型

Question

假设我在 Haskell 中有一些代数数据类型：

data Foo a = ...

我希望有一个函数可以“提取”这种类型 a 并对其进行处理，假设它满足某些条件。具体来说，我需要类似的东西：

fun :: Bounded a => Foo a -> a

预期用途如下：

fun foo = maxBound :: a

当然，这种表示法在 Haskell 中是不正确的，但我认为我的意图很明确。有可能做这样的事情吗？

Answer 1

您不需要任何东西，它就可以工作。

fun :: Bounded a => Foo a -> a
fun _ = maxBound

编译器知道fun 的结果是a，因此会调用正确的maxBound。