LnApplicative instances for List.*
LnApplicative instance for Infer
Added wrapper and classes for types where indices don't line up neatly.