gprologって型つきなのか