blob: 8d053f312a46d950ea24be744c20bca4b5f036c5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE TypeFamilies #-}
module GivenCheckSwapMain where
type family S x
f :: a -> S a
f = undefined
g :: Char ~ S a => a -> Char
g y | False = f y
| otherwise = 'a'
|