blob: a2a361514a297d0b912b055d49abb7f86b15851b (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE RankNTypes #-}
-- Check that we can have a forall after a forall
module Foo4 where
type AnyE a = forall err. Either err a
foo :: Monad m => AnyE (m t)
foo = undefined
|