I have a datatype defined as
data foo a = foo a (a -> a)
The "foo" datatype has two parameter value and function. I need to writ