testsuite/tests/indexed-types/should_fail/ExplicitForAllFams4a.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE TypeFamilies #-}

module ExplicitForAllFams4a where

type family H a b where
  forall a b. H [a] (a,a)     = Float
  forall b.   H _ _           = Maybe b