Inline fromListM
Add Applicative to Fun
Add type class for indexing