我有以下类型:
type Name = String
type Assignation a = Name -> a
以及以下函数声明:
actAsig :: Assignation a -> Name -> a -> Assignation a
此函数应返回一个new Assignation,它返回所提供的新指定值Name以及先前为其他Names 指定的值.