davdar

{-# 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