В чем разница между 'a и' _l?

В чем разница между ' a и '_ l ?

Я смотрел на эту ошибку и не мог ее понять:

Error: This expression has type ('a -> float polynomial) list but an expression was expected of type float polynomial list derivlist: ('_l → float polynomial) list