purescript-0.7.0.0: examples/failing/DuplicateTypeVars.purs

module Main where

import Prelude

type Foo a a = a