blob: 54af6f671423873c867a1417bc42c7b95f926a77 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeFamilies #-}
module T9036 where
import Data.Kind
class UncurryM t where
type GetMonad t :: Type -> Type
class Curry a b where
type Curried a b :: Type
gSimple :: String -> String -> [String]
gSimple = simpleLogger (return ())
simpleLogger :: Maybe (GetMonad t after) -> t `Curried` [t]
simpleLogger _ _ = undefined
|