partial.egi

--
-- This file has been auto-generated by egison-translator.
--

def fs {a, b} : (a -> b) -> [a] -> [b] := 2#(map $1 $2)

def f1 {Num a} : a -> a := 1#($1 * 2)

def f2 {Num a} : a -> a := 1#(power $1 2)

def fsf1 {Num a} : [a] -> [a] := 1#(fs f1 $1)

def fsf2 {Num a} : [a] -> [a] := 1#(fs f2 $1)

fsf1 [0, 1, 2, 3]

fsf2 [0, 1, 2, 3]

fsf1 [2, 4, 6, 8]

fsf2 [2, 4, 6, 8]