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

-- @shouldFailWith KindsDoNotUnify
module Main where

import Prelude

type F (a :: Type) = a

newtype N = N (F ((~>) Array))