haskell-tools-builtin-refactorings-1.1.0.0: test/ExtensionOrganizerTest/FlexibleContextsTest/WithScopedTyVarsMagic.hs

{-# LANGUAGE FlexibleContexts, ScopedTypeVariables #-}

module WithScopedTyVarsMagic where

import Definitions

f :: Eq a => a -> ()
f = id fCtxt :: C [a] => a -> ()  {-* (FlexibleContexts), FlexibleContexts *-}