-{-# LANGUAGE TypeFamilies #-}\r
-module Main where \r
-\r
-data A a\r
-\r
-type T a = A a\r
-\r
-\r
-f :: (A a ~ T Int) => a -> Int \r
-f x = x \r
-\r
-\r
-main :: IO ()\r
-main = return ()
\ No newline at end of file
+{-# LANGUAGE TypeFamilies #-}
+module Main where
+
+data A a
+
+type T a = A a
+
+
+f :: (A a ~ T Int) => a -> Int
+f x = x
+
+
+main :: IO ()
+main = return ()