blob: 056625602c2f11826b8ae3906a0d44ad4f8cd0c9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE InstanceSigs, PolyKinds #-}
module T9833 where
import Control.Applicative
data NullableInterp a = NullI Bool
instance Functor NullableInterp where
fmap = undefined
instance Applicative NullableInterp where
pure = undefined
(<*>) = undefined
instance Alternative NullableInterp where
empty :: NullableInterp a
empty = undefined
(<|>) = undefined
|
