purescript-0.7.0.0: examples/passing/CheckSynonymBug.purs

module Main where

import Prelude

type Foo a = Array a

foo _ = length ([] :: Foo Number)

main = Debug.Trace.trace "Done"