module TypeSyn01Mod where
type MyUnit = ()