如何从Haskell中的(G)ADT参数获取构造函数作为函数？可以这样做吗？
data Ex1 = C1 Int | C2 Int -- | .....
| C3
fun :: Ex1 -> Ex1
fun C3 = C3
fun (c i) = c $ i^2
这对我来说不合适.
fun (C1 i) = C1 $ i^2
fun (C2 i) = C2 $ i^2