blob: a661ad04e54441f7e6dd1d0996258ac217b76b50 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
{-# LANGUAGE TemplateHaskell, TypeApplications, TypeFamilies, PartialTypeSignatures #-}
{-# OPTIONS_GHC -Wno-partial-type-signatures #-}
module T15433b where
import T15433_aux ( wild )
type family F a where
F $wild = Int
f :: Maybe a -> Maybe a
f (x :: Maybe $wild) = x
g :: forall a. Maybe a -> Maybe a
g (Just @($wild) x) = Just x
g Nothing = Nothing
h :: a -> $wild
h x = x
|
