Skip to content

Instantly share code, notes, and snippets.

@jcmartin

jcmartin/gist:cfa5e28ba36574a7e68d Secret

Created November 12, 2014 22:26
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jcmartin/cfa5e28ba36574a7e68d to your computer and use it in GitHub Desktop.
Save jcmartin/cfa5e28ba36574a7e68d to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.hs
{-# LANGUAGE ExistentialQuantification #-}
class IsFsEntry a where
bar :: a -> String
data FsFile = FsFile
instance IsFsEntry FsFile where
bar _ = "File"
data FsFolder = FsFolder
instance IsFsEntry FsFolder where
bar _ = "Folder"
data FsEntry = forall a . (IsFsEntry a) => MkFsEntry a
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment