Ticket #11456: Error2.hs

File Error2.hs, 180 bytes (added by Iceland_jack, 4 years ago)
Line 
1{-# LANGUAGE GADTs, RankNTypes, ScopedTypeVariables, TypeApplications #-}
2
3import Data.Typeable
4
5zero :: forall b. Typeable b => Maybe b
6zero = do
7  Refl <- eqT @Int @b
8  return 0