module TypeSynonym where

type MyInt = Int