typecheck Case

Will it blend?