(a :: Type) :: Type
И функция:
f : a -> P a
Как сделать так,чтобы возвращаемый ей тип вычислялся как результат (P a),а не (P a)?
в чем разница
Обсуждают сегодня