/home/user/workspace/agda-stdlib/src/Data/Empty.agda:13,5-5
/home/user/workspace/agda-stdlib/src/Data/Empty.agda:13,5: Parse error
FOREIGN<ERROR>
 GHC data AgdaEmpty #-}
{-# CO...