@@ -128,6 +128,11 @@ instance Applicative (Either e) where
128 (Right f) <$> (Right r) = Right (f r)
128 (Right f) <$> (Right r) = Right (f r)
129 (Right _) <$> (Left l) = Left l
129 (Right _) <$> (Left l) = Left l
131+instance Applicative List where
134+ fs <$> vs = concatMap (\f => map f vs) fs
131---- some mathematical operations
136---- some mathematical operations
133%include "math.h"
138%include "math.h"