Думается, что это косяк success typing диалайзера, ссылку на точное описание не дам, но вроде как в нифига недоисанной книжке Лоика упоминается, что функция может иметь тип не только A -> B, но и A->B ; C -> D. Только вот почему второе может быть валидным подтипом первого не очень понятно.
no subject
Date: 2016-02-01 07:28 pm (UTC)