Fix scoped type variables for expression type signatures
[ghc-hetmet.git] / compiler / typecheck / FamInst.lhs
2006-09-20 Manuel M T ChakravartyAdding FamInstEnv & FamInst modules