Given the function

const f$1=($a$,$ f$,$ g$,$ h$)=>$ a$.$map$($f$).$filter$($g$).$map$($h$)$;

we know its type signature is

f$1($a: R$[],$ f: A$,$ g: B$,$ h: C$)$: D

Indicate what the types A$,$ B$,$ C$,$ D are