blob: be0faf71ff72eca4f11b13ff7373fe6bc9cb35d6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# OPTIONS_GHC -dcore-lint -fdefer-typed-holes #-}
module T13640 where
import Prelude hiding ((.))
class Functor' f where
map' :: (a -> b) -> f a -> f b
class Bifunctor' f where
map2' :: (a -> b) -> f a c -> f b c
bimap' :: Bifunctor' f => (a -> b) -> (c -> d) -> (f a c -> f b d)
bimap' f g = map2' f . map'
|
