purescript-0.15.1: tests/purs/failing/TypeSynonyms9.purs

-- @shouldFailWith PartiallyAppliedSynonym
module Main where

import Prelude

newtype A (a :: (Type -> Type) -> Type -> Type) = A String
newtype B = B (A ((~>) Array))