Skip to content

Instantly share code, notes, and snippets.


David Darais davdar

View GitHub Profile
davdar / gist:6144184
Created Aug 2, 2013
small example that breaks GHC type safety by combining GADTs and TypeFamilies
View gist:6144184
{-# LANGUAGE TypeFamilies, GeneralizedNewtypeDeriving #-}
module Test where
newtype Age = Age Int
deriving (Foo)
type family F a :: *
type instance F Int = Int
type instance F Age = Bool