-- @shouldFailWith InfiniteType 

module Main where

f a = a a