Presumably the head function returns a value of type Optional/Maybe, that needs to be pattern matched against statically.