testsuite/tests/llvm/should_compile/T11649.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE NoImplicitPrelude #-}
module Test where
import GHC.Base

data U1 p = U1

instance Functor U1 where
    fmap f U1 = U1

instance Applicative U1 where
    pure _ = U1
    U1 <*> U1 = U1

instance Alternative U1 where
    empty = U1
    U1 <|> U1 = U1