Data.FFI

type AgdaList a b

type AgdaMaybe a b

type AgdaEither a b c d

data AgdaEmpty

data AgdaStream a