module Main where

main :: IO ()
main = pure "type error"