Raw File
hrts.hs
hrt :: rforall a. ((rforall b. ser:b -> b)) -> co:a -> a
hrt = \x -> x
back to top