blob: 6fe95c45168f0fd6c5e7bea7f392fa5424d0c9e7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE ImplicitParams #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE NoMonomorphismRestriction #-}
module Test where
class C t where
type TF t
ttt :: TF t -> t
b :: (C t, ?x :: TF t) => t
b = ttt ?x
|