blob: 5109ea08f0a70c93d2a878df5b1f821a6b5541e8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE TypeFamilies #-}
module T15012a where
import GHC.Generics
type FakeOut a = Int
data family TyFamily y z
data instance TyFamily a b = TyFamily Int (FakeOut b)
deriving Generic1
|