Data.FFI
type AgdaList a b
type AgdaMaybe a b
type AgdaEither a b c d
data AgdaEmpty
data AgdaStream a