xref
: /
dports
/
devel
/
hs-hls-install
/
haskell-language-server-1.4.0
/
plugins
/
hls-tactics-plugin
/
test
/
golden
/
AutoThetaGADT.expected.hs
Home
History
Annotate
Line#
Scopes#
Navigate#
Raw
Download
current directory
1
{-# LANGUAGE GADTs #-}
2
3
data
X
f
=
Monad
f
=>
X
4
5
fun1
::
X
f
->
a
->
f
a
6
fun1
X
=
pure
7
8