Skip to content

Instantly share code, notes, and snippets.

David Darais davdar

Block or report user

Report or block davdar

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
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
You can’t perform that action at this time.