use feature qw(state);
  use Type::Params 1.004000 qw(compile);
  use Types::Standard qw(FileHandle HasMethods Str);
  
  sub htmlprint {
    state $check = compile(
      FileHandle | HasMethods['printf'],
      Str,
      Str, { default => "black" },
    );
    my ($file, $text, $colour) = $check->(@_);
    
    ...;  # rest of the function goes here
  }
  
  htmlprint($fh, "Hello world", "red");
  htmlprint($fh, "Hello world");   # defaults to black