Types2.test

# Copyright (c) 2025 Andrew Farmer
# Copyright (c) 2020-2024 Facebook, Inc. and its affiliates.
#
# This source code is licensed under the MIT license found in the
# LICENSE file in the root directory of this source tree.
#
--type-forward Types2.Foo
--type-forward Types2.MyMaybe
--type-forward Types2.Pair
===
 module Types2 where
 
-bleh :: HashMap Foo Foo
+bleh :: HashMap (Either String Bar) (Either String Bar)
 bleh = HashMap.empty
 
-blech :: Maybe Foo
+blech :: Maybe (Either String Bar)
 blech = Just 54
 
-blech2 :: MyMaybe Bar
+blech2 :: Maybe Bar
 blech2 = blech
 
-blech3 :: Pair (Maybe Bar)
+blech3 :: (Maybe Bar, Maybe Bar)
 blech3 = (blech2, blech2)
 
 type Foo = Either String Bar
 type Bar = Int
 
 type MyMaybe a = Maybe a
 type Pair a = (a, a)