{-# LANGUAGE PartialTypeSignatures #-}
module WildcardInTypeSynonymRHS where

type Foo = Maybe _