purescript-0.5.4.1: examples/failing/TypeSynonyms.purs

module Main where

type T1 = [T2]

type T2 = T1