blob: 66b8fc4764ad5e85a12d4f253e04e6af26dfd208 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE GADTs, FlexibleInstances #-}
{-# OPTIONS_GHC -O2 #-}
-- See Trac #1746
module Foo where
data T a where T :: T a -> T [a]
class C a where
f :: a -> ()
instance C (T [a]) where
f (T x@(T _)) = f x
|