2 -> k (k (z (:)))
_ -> error "gunfold"
dataTypeOf _ = listDataType
- dataCast1 = gcast1
+ dataCast1 f = gcast1 f
--
-- The gmaps are given as an illustration.
2 -> k (z Just)
_ -> error "gunfold"
dataTypeOf _ = maybeDataType
- dataCast1 = gcast1
+ dataCast1 f = gcast1 f
------------------------------------------------------------------------------
2 -> k (z Right)
_ -> error "gunfold"
dataTypeOf _ = eitherDataType
- dataCast2 = gcast2
+ dataCast2 f = gcast2 f
------------------------------------------------------------------------------
toConstr _ = error "toConstr"
gunfold _ _ = error "gunfold"
dataTypeOf _ = mkNorepType "Prelude.(->)"
- dataCast2 = gcast2
+ dataCast2 f = gcast2 f
------------------------------------------------------------------------------
gunfold k z c | constrIndex c == 1 = k (k (z (,)))
gunfold _ _ _ = error "gunfold"
dataTypeOf _ = tuple2DataType
- dataCast2 = gcast2
+ dataCast2 f = gcast2 f
------------------------------------------------------------------------------