blob: 5da49810455dda7b40426c5d1b6751c2bbfc2b0c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE TypeFamilies, ConstraintKinds #-}
module Foo where
import GHC.Exts
f :: F [a] => a -> Bool
f x = x == x
type family F a :: Constraint
type instance F [a] = (Show a, (Show a, (Show a, (Show a, (Show a,
Show a, (Show a, (Show a, (Show a, (Show a, Eq a)))))))))
|
