4 ms·Your second example does not typecheck.by ahh 16y agoYour second example does not typecheck.aristidb 16y agoIt does. let fibs = 1 : 1 : (zipWith (+) `ap` tail) fibs in fibs :: (Num a) => [a] according to ghci 6.12.1ahh 16y agoI get No instance for (Monad ((->) [a])) -am I missing some module include?