3 ms·

Allowing one to simplify to: fibs = 1 : 1 : zipWith (+) fibs (tail fibs) Involving zip`ap`tail, the Aztec god of consecutive numbers: fibs = 1 : 1 : (zip

Allowing one to simplify to: fibs = 1 : 1 : zipWith (+) fibs (tail fibs) Involving zip`ap`tail, the Aztec god of consecutive numbers: fibs = 1 : 1 : (zipWith (+) `ap` tail) fibs Or, pointlessly: fix $ (1:) . (1:) . (zipWith (+) `ap` tail)

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