{-# LANGUAGE PartialTypeSignatures #-}
module WildcardInTypeSynonymLHS where

type Foo _ = Int