blob: 36865ed8311814910d12377689ff82fb3a70a1b7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
module T12634 where
twacePowDec :: t m' r -> t m r
twacePowDec = undefined
data Bench a
bench :: (a -> b) -> a -> Bench params
bench f = undefined
bench_twacePow :: forall t m m' r . _ => t m' r -> Bench '(t,m,m',r)
bench_twacePow = bench (twacePowDec :: t m' r -> t m r)
|