blob: c65f3441b4dfb34094e1b74123dbcd09a36a0ba6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RebindableSyntax #-}
{-# LANGUAGE ScopedTypeVariables #-}
module RepPolyDoBody2 where
import GHC.Exts
import Prelude ( undefined )
(>>)
:: forall
rep
( mb :: TYPE rep )
( mc :: TYPE rep )
. () -> mb -> mc
(>>) = undefined
return :: forall rep (ma :: TYPE rep). () -> ma
return = undefined
foo :: forall rep (ma :: TYPE rep). () -> ma
foo _ = do
undefined :: ()
return ()
|