Add new shapes to Unapply

[stew]

This commit adds Unapply shapes which will match a datum with a type in the
shape F[X[_], Y] with a typeclass expecting a F[_]

Thanks to @smungee who noticed that apply syntax was not working with
FreeApplicative because of this.

[codecov-io]

Current coverage is 75.68%

Merging #568 into master will decrease coverage by -0.05% as of 41f264c

@@            master    #568   diff @@
======================================
  Files          157     157       
  Stmts         2155    2159     +4
  Branches        68      68       
  Methods          0       0       
======================================
+ Hit           1632    1634     +2
  Partial          0       0       
- Missed         523     525     +2

Review entire Coverage Diff as of 41f264c

Powered by Codecov. Updated on successful CI builds.

[adelbertc]

👍

[non]

👍