zypeh
says to
YSITD
{-# LANGUAGE ScopedTypeVariables #-} 这行什么意思？