type MySynonym a = [a]