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