blob: b4025588dd7e0c0acc6a2d82a5e85cd4efc9117f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
module T17139 where
import T17139a
type family TypeFam f fun where
TypeFam f (a -> b) = f a -> TypeFam f b
lift :: (a -> b) -> TypeFam f (a -> b)
lift f = \x -> _ (f <*> x)
|