Idrisのinterface