agda/test/Compiler/simple/Issue2486/Haskell.agda

module Issue2486.Haskell where

{-# FOREIGN GHC

data MyList a = Nil | Cons a (MyList a)

#-}