type MySynonym a = Num a => a -> Int