testsuite/tests/simplCore/should_compile/T22114.hs


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

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE TypeFamilies #-}

module T22114 where

import Data.Kind (Type)

value :: [Int] -> () -> Maybe Bool
value = valu
  where valu [0] = valuN
        valu _   = \_ -> Nothing

type family T :: Type where
  T = () -> Maybe Bool

valuN :: T
valuN = valuN