Language.Embedded.Signature
data Ann exp a
data Signature exp a
lam
name
ret
ptr
arg
translateFunction