The error is because the type parameter was resolved to Nothing

#::

+

++

+:

-

:+

::

~

~~