Haskellは圏論知ってないと身につかないよね?