
2 Feb
2007
2 Feb
'07
4:04 a.m.
Chad Scherrer wrote:
Are (a -> [b]) and [a -> b] isomorphic? I'm trying to construct a function
f :: (a -> [b]) -> [a -> b]
that is the (at least one-sided) inverse of
f' :: [a -> b] -> a -> [b] f' gs x = map ($ x) gs
Anything better than this? f g = [\x -> g x !! n | n <- [0..]] -Yitz