blob: bb79856d3b3bb4368ea079f721216c06e23896ec (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeInType #-}
{-# LANGUAGE UnboxedTuples #-}
module Bug where
import GHC.Exts (TYPE)
class Foo (a :: TYPE rep) where
bar :: forall (b :: TYPE rep2). (a -> a -> b) -> a -> a -> b
baz :: forall (a :: TYPE rep). Foo a => a -> a -> (# a, a #)
baz = bar (#,#)
|
