It looks like you are missing the import statement in your elm file, you can import this attribute through
import Html.Attributes exposing (type_)
or just import everything, for example
import Html.Attributes exposing (..)
then the example you posted will work.
input [ type_ "checkbox" ] []
, html , - , , . !:)
!